Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall].
Franco MontagnaHiroakira OnoPublished in: Stud Logica (2002)
Keyphrases
- modal logic
- logic programming
- epistemic logic
- proof theory
- nonmonotonic logics
- sound and complete axiomatization
- sound and complete with respect
- inference rules
- kripke models
- description logics
- logical framework
- dynamic logic
- proof theoretic
- model checking
- semantic information
- formal language
- propositional dynamic logic
- temporal logic
- defeasible logic
- operational semantics
- classical logic
- autoepistemic logic
- predicate calculus
- default logic
- highly expressive
- proof procedures