Sciweavers

711 search results - page 64 / 143
» Modal Logics are Coalgebraic
Sort
View
CJ
2002
79views more  CJ 2002»
14 years 10 months ago
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
Muffy Calder, Savi Maharaj, Carron Shankland
80
Voted
JAR
2000
50views more  JAR 2000»
14 years 10 months ago
Single Step Tableaux for Modal Logics
Fabio Massacci
40
Voted
MSCS
2002
54views more  MSCS 2002»
14 years 9 months ago
Local Realizability Toposes and a Modal Logic for Computability
Steven Awodey, Lars Birkedal, Dana S. Scott
FOSSACS
2010
Springer
14 years 8 months ago
Model Checking Is Static Analysis of Modal Logic
Flemming Nielson, Hanne Riis Nielson