Modality and possibility in some intuitionistic modal logics.

Josep Maria Font

Published in: Notre Dame J. Formal Log. (1986)

Keyphrases

modal logic
classical logic
temporal logic
decision procedures
inference rules
sequent calculus
cut elimination
multi modal
linear logic
theorem prover
nonmonotonic logics
medical images
epistemic logic
default logic
situation calculus
fuzzy set theory
autoepistemic logic
modal operators
logic programming
multi agent