Results 181 to 188 of about 986 (188)

Application of modal logic to programming

Studia Logica, 1980
Vaughan R Pratt
exaly  

Modal Languages and Bounded Fragments of Predicate Logic

Journal of Philosophical Logic, 1998
Hajnal Andreka, István Németi, Johan Van Benthem   +2 more
exaly  

Inflationary fixed points in modal logic

ACM Transactions on Computational Logic, 2004
Anuj Dawar, Stephan Kreutzer
exaly  

Regression in Modal Logic

Journal of Applied Non-Classical Logics, 2003
Robert Demolombe, Andreas Herzig, Ivan Varzinczak   +2 more
exaly  

Provability interpretations of modal logic

Israel Journal of Mathematics, 1976
exaly  

Proof Analysis in Modal Logic

Journal of Philosophical Logic, 2005
Sara Negri, Negri Sara
exaly  

On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

Journal of Applied Logic, 2017
Grigory K Olkhovikov
exaly  

A Sahlqvist theorem for distributive modal logic

Annals of Pure and Applied Logic, 2005
Mai Gehrke, Yde Venema
exaly