Results 281 to 290 of about 1,072,805 (301)

A propositional modal logic of time intervals

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

Specifying coalgebras with modal logic

Theoretical Computer Science, 2001
Alexander Kurz
exaly  

Fuzzy Bisimulation for Gödel Modal Logic

IEEE Transactions on Fuzzy Systems, 2015
Tuan-Fang Fan
exaly  

Modal Languages and Bounded Fragments of Predicate Logic

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

On Modal Logic, IF Logic, and IF Modal Logic

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

The Computational Complexity of Provability in Systems of Modal Propositional Logic

SIAM Journal on Computing, 1977
Richard E Ladner
exaly  

Proof Analysis in Modal Logic

Journal of Philosophical Logic, 2005
Sara Negri
exaly  

A Modal Logic of Epistemic Games

Games, 2010
François Schwarzentruber, Emiliano Lorini   +1 more
exaly  

A finite model construction for coalgebraic modal logic

The Journal of Logic and Algebraic Programming, 2007
Lutz Schröder
exaly  

Regression in Modal Logic

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