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

15 years 5 hour 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

14 years 12 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

14 years 12 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

14 years 11 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers