Binary Kripke Semantics for a Strong Logic for Naive Truth.
Ben MiddletonPublished in: Rev. Symb. Log. (2022)
Keyphrases
- modal logic
- kripke models
- epistemic logic
- nonmonotonic logics
- modal operators
- inference rules
- logic programming
- valued logic
- classical logic
- truth values
- conditional logic
- proof theory
- multi valued
- propositional dynamic logic
- dynamic logic
- sound and complete axiomatization
- logical framework
- temporal logic
- model checking
- sound and complete with respect
- proof theoretic
- autoepistemic logic
- operational semantics
- intuitionistic logic
- logical operations
- alternating time temporal logic
- valued semantics
- model theoretic
- rewrite systems
- fixed point semantics
- semantic information
- desirable properties
- default logic
- highly expressive
- active rules
- proof procedures
- formal semantics
- computational properties
- rule engine
- higher order logic
- derivation rules
- logical theories
- knowledge base
- reasoning tasks
- default theories
- algebraic structure
- predicate calculus