Sciweavers

886 search results - page 57 / 178

» Modal logic and invariance

50

MSCS
2002

54views more MSCS 2002»

Local Realizability Toposes and a Modal Logic for Computability

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

78

Voted

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

14 years 11 months ago

Model Checking Is Static Analysis of Modal Logic

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

60

Voted

IGPL
2010

70views more IGPL 2010»

Problem of restricted interpolation in superintuitionistic and some modal logics

14 years 11 months ago

Problem of restricted interpolation in superintuitionistic and some modal logics

Download a-server.math.nsc.ru

Larisa Maksimova

claim paper

Read More »

72

Voted

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

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

52

CORR
2009
Springer

63views Education» more CORR 2009»

Modal Logic and the Approximation Induction Principle

14 years 10 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 »