On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic.
Przemyslaw Andrzej WalegaPublished in: LPAR (Workshop and Short Papers) (2018)
Keyphrases
- modal operators
- modal logic
- temporal logic
- epistemic logic
- model checking
- logic programming
- proof theory
- nonmonotonic logics
- conditional logic
- sound and complete axiomatization
- propositional dynamic logic
- dynamic logic
- sound and complete with respect
- predicate logic
- reasoning about actions
- formal theory
- belief revision
- inference rules
- formal language
- logical framework
- computational properties
- model theoretic
- autoepistemic logic
- formal semantics
- default reasoning
- highly expressive
- belief update
- asynchronous circuits
- higher order logic
- derivation rules
- description logics
- multi valued
- predicate calculus
- kripke models
- valued semantics
- default logic
- proof theoretic
- rule engine
- alternating time temporal logic
- fixed point semantics
- artificial intelligence
- logic programs
- semantic information
- deductive databases
- intuitionistic logic
- propositional logic
- logical rules
- causal models
- algebraic structure
- nonmonotonic reasoning
- multi agent learning
- classical logic
- active rules
- real numbers
- action theories