Sciweavers

886 search results - page 57 / 178

» Modal logic and invariance

89

MSCS
2002

54views more MSCS 2002»

Local Realizability Toposes and a Modal Logic for Computability

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

128

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 4 months ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

95

IGPL
2010

70views more IGPL 2010»

Problem of restricted interpolation in superintuitionistic and some modal logics

15 years 4 months ago

Problem of restricted interpolation in superintuitionistic and some modal logics

Download a-server.math.nsc.ru

Larisa Maksimova

claim paper

Read More »

123

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

15 years 4 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 »

89

CORR
2009
Springer

63views Education» more CORR 2009»

Modal Logic and the Approximation Induction Principle

15 years 4 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 »