Sciweavers

886 search results - page 57 / 178

» Modal logic and invariance

17

MSCS
2002

54views more MSCS 2002»

Local Realizability Toposes and a Modal Logic for Computability

13 years 9 months ago

Local Realizability Toposes and a Modal Logic for Computability

Download www.hss.cmu.edu

Steven Awodey, Lars Birkedal, Dana S. Scott

claim paper

Read More »

29

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

13 years 8 months ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

15

IGPL
2010

70views more IGPL 2010»

Problem of restricted interpolation in superintuitionistic and some modal logics

13 years 8 months ago

Problem of restricted interpolation in superintuitionistic and some modal logics

Download a-server.math.nsc.ru

Larisa Maksimova

claim paper

Read More »

22

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

13 years 8 months ago

Analyzing completeness of axiomatic functional systems for temporal × modal logics

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

11

CORR
2009
Springer

63views Education» more CORR 2009»

Modal Logic and the Approximation Induction Principle

13 years 8 months ago

Modal Logic and the Approximation Induction Principle

Download www.cs.vu.nl

Maciej Gazda, Wan Fokkink

claim paper

Read More »

« Prev « First page 57 / 178 Last » Next »