Search Sciweavers | Sciweavers

1078 search results - page 60 / 216

» The Modal Logic of Probability

106

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 2 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

15 years 2 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

15 years 2 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

Voted

CORR
2009
Springer

63views Education» more CORR 2009»

Modal Logic and the Approximation Induction Principle

15 years 1 months ago

Download www.cs.vu.nl

Maciej Gazda, Wan Fokkink

claim paper

Read More »

109

click to vote

CSE
2009
IEEE

138views Theoretical Computer Science» more CSE 2009»

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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers