Search Sciweavers | Sciweavers

825 search results - page 59 / 165

» Modal Logics with Counting

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

13 years 6 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

IGPL
2010

70views more IGPL 2010»

Problem of restricted interpolation in superintuitionistic and some modal logics

13 years 6 months ago

Download a-server.math.nsc.ru

Larisa Maksimova

claim paper

Read More »

click to vote

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

13 years 6 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

click to vote

CORR
2009
Springer

63views Education» more CORR 2009»

Modal Logic and the Approximation Induction Principle

13 years 5 months ago

Download www.cs.vu.nl

Maciej Gazda, Wan Fokkink

claim paper

Read More »

click to vote

CSE
2009
IEEE

138views Theoretical Computer Science» more CSE 2009»

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers