Results 231 to 240 of about 1,125,186 (250)

Expressivity of Coalgebraic Modal Logic: The Limits and Beyond

Theoretical Computer Science, 2008
Lutz Schröder
exaly  

On Modal Logic, IF Logic, and IF Modal Logic

2006
Tulenheimo, Tero, Sevenster, Merlijn
openaire   +3 more sources

Proof Analysis in Modal Logic

Journal of Philosophical Logic, 2005
Sara Negri
exaly  

Simulation and Transfer Results in Modal Logic – A Survey

Studia Logica, 1997
Frank Wolter, Marcus Kracht
exaly  

Paraconsistent Logic From a Modal Viewpoint

Journal of Applied Logic, 2005
Jean-Yves Beziau
exaly  

An Overview of Temporal and Modal Logic Programming

Lecture Notes in Computer Science, 1994
Mehmet A. Örgün
exaly  

Multi-Dimensional Modal Logic

Applied Logic Series, 1997
Maarten Marx, Yde Venema
exaly  

A Resolution Calculus for Modal Logics

Lecture Notes in Computer Science, 1988
Hans Jürgen Ohlbach
exaly  

A Propositional Modal Logic of Time Intervals

Journal of the ACM, 1991
Yoav Shoham, Halpernjoseph Y
exaly  

The Relation Between Intuitionistic and Classical Modal Logics

Algebra and Logic, 1997
F Wolter, M Zakharyaschev
exaly