Results 241 to 250 of about 1,125,186 (250)

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  

First-Order Modal Logic

1998
Melvin Fitting, Richard L Mendelsohn
exaly  

Modalities and Modal Logic

2023
openaire   +1 more source

Quantification in Modal Logic

2001
James Garson
exaly  

Is modal logic logic?

Philosophia, 1972
openaire   +1 more source