Results 201 to 210 of about 186,512,308 (212)

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  

Modal Logic

2006
Johan van Benthem
exaly  

Hypersequent Calculi for Modal Logics Extending S4

Lecture Notes in Computer Science, 2014
Hidenori Kurokawa
exaly  

Models for Normal Intuitionistic Modal Logics

Studia Logica, 1984
Kosta Došen
exaly  

The Computational Complexity of Provability in Systems of Modal Propositional Logic

SIAM Journal on Computing, 1977
Richard E. Ladner
exaly  

Amalgamation and Interpolation in Normal Modal Logics

Studia Logica, 1991
Larisa Maksimova
exaly  

On Fuzzy Modal Logics S5(C)

Fuzzy Sets and Systems, 2010
exaly