Results 281 to 290 of about 1,933,548 (305)
Some of the next articles are maybe not open access.
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
Studia Logica: An International Journal for Symbolic Logic, 2012S. Odintsov, E. Latkin
semanticscholar +1 more source
Many-Dimensional Modal Logics: Theory and Applications
, 2003D. Gabbay +3 more
semanticscholar +1 more source
Completeness and incompleteness for anodic modal logics
Journal of Applied Non-Classical Logics, 2009Juliana Bueno-Soler
exaly
MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions
Information Sciences, 2016Amanda Vidal
exaly
Label-free natural deduction systems for intuitionistic and classical modal logics
Journal of Applied Non-Classical Logics, 2010Yakoub Salhi
exaly
On Modal Logic, IF Logic, and IF Modal Logic
2006Tulenheimo, Tero, Sevenster, Merlijn
openaire +3 more sources
Modal logics with Belnapian truth values
J. Appl. Non Class. Logics, 2010S. Odintsov, H. Wansing
semanticscholar +1 more source
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
Journal of Applied Non-Classical Logics, 2002Isabelle Bloch
exaly
Clausal resolution for normal modal logics
Journal of Algorithms, 2007Clare Dixon, Claudia Nalon
exaly