Kripke semantics for provability logic GLP.
Lev D. BeklemishevPublished in: Ann. Pure Appl. Log. (2010)
Keyphrases
- modal logic
- kripke models
- epistemic logic
- logic programming
- nonmonotonic logics
- proof theory
- conditional logic
- modal operators
- sound and complete axiomatization
- inference rules
- sound and complete with respect
- propositional dynamic logic
- model checking
- dynamic logic
- logical framework
- classical logic
- temporal logic
- autoepistemic logic
- formal language
- model theoretic
- proof theoretic
- higher order logic
- default reasoning
- rewrite systems
- alternating time temporal logic
- predicate calculus
- computational properties
- active rules
- derivation rules
- rule engine
- situation calculus
- fixed point semantics
- conceptual model
- belief revision
- formal semantics
- intuitionistic logic
- semantic information
- desirable properties
- default logic
- nonmonotonic reasoning
- argumentation semantics
- highly expressive
- algebraic structure
- linear logic
- operational semantics
- truth values