Results 291 to 300 of about 1,933,548 (305)
Some of the next articles are maybe not open access.
Modal translation of substructural logics
Journal of Applied Non-Classical Logics, 2020Chrysafis Hartonas
exaly
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G
Studia Logica, 2008Dorota Leszczyńska-Jasion
exaly
Uniform and non uniform strategies for tableaux calculi for modal logics
Journal of Applied Non-Classical Logics, 1995Stéphane Demri
exaly
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5
Journal of Philosophical Logic, 2008Dorota Leszczyńska-Jasion
exaly
Studia Logica: An International Journal for Symbolic Logic, 2010
X. Caicedo, R. Rodríguez
semanticscholar +1 more source
X. Caicedo, R. Rodríguez
semanticscholar +1 more source
On a Graph Approach to Modal Logics
Electronic Notes in Theoretical Computer Science, 2014Mario Benevides, Paulo A S Veloso
exaly
Unification and Passive Inference Rules for Modal Logics
Journal of Applied Non-Classical Logics, 2000Vladimir V Rybakov
exaly
On the relationship between fuzzy description logics and many-valued modal logics
International Journal of Approximate Reasoning, 2018Marco Cerami +2 more
exaly
Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
, 1979L. Maksimova
semanticscholar +1 more source