Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.
Marcelo E. ConiglioMartín FigalloPublished in: Stud Logica (2014)
Keyphrases
- modal logic
- clifford algebra
- nonmonotonic logics
- temporal logic
- inference rules
- decision procedures
- expressive power
- conditional logic
- situation calculus
- default logic
- epistemic logic
- classical logic
- multimedia presentations
- modal operators
- propositional variables
- nonmonotonic reasoning
- propositional logic
- dynamic logic
- topological spaces
- boolean games
- multimedia
- kripke models