Results 91 to 100 of about 38,328 (103)

A Sahlqvist theorem for distributive modal logic

Annals of Pure and Applied Logic, 2005
Mai Gehrke
exaly  

Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation

Artificial Intelligence, 2003
Churn-Jung Liau
exaly  

Specifying coalgebras with modal logic

Theoretical Computer Science, 2001
Alexander Kurz
exaly  

Modal Languages and Bounded Fragments of Predicate Logic

Journal of Philosophical Logic, 1998
Hajnal Andreka, Istvan Nemeti, Johan van Benthem   +2 more
exaly  

Paraconsistent logic from a modal viewpoint

Journal of Applied Logic, 2005
Jean-Yves Beziau
exaly  

Fuzzy Bisimulation for Gödel Modal Logic

IEEE Transactions on Fuzzy Systems, 2015
exaly  

Provability interpretations of modal logic

Israel Journal of Mathematics, 1976
exaly  

A note on modal logic and possibility theory

Information Sciences, 2014
exaly  

MOLOG: A system that extends PROLOG with modal logic

New Generation Computing, 1986
exaly  

Diagnosis of Oral Cancer Including Indications and Procedures for Biopsy

Ca-A Cancer Journal for Clinicians, 1959
exaly