Subintuitionistic Logics with Kripke Semantics.
Dick de JonghFatemeh Shirmohammadzadeh MalekiPublished in: TbiLLC (2015)
Keyphrases
- modal logic
- kripke models
- epistemic logic
- nonmonotonic logics
- inference rules
- conditional logic
- propositional dynamic logic
- modal operators
- proof theory
- model checking
- proof procedures
- temporal logic
- dynamic logic
- decision procedures
- higher order logic
- formal semantics
- proof theoretic
- desirable properties
- default logic
- valued semantics
- expressive power
- logical framework
- model theoretic
- autoepistemic logic
- classical logic
- propositional calculus
- theorem proving
- action theories
- data sets
- propositional logic
- truth values
- automated reasoning
- computational properties
- default theories
- semantic information
- multi agent