A temporal semantics for Nilpotent Minimum logic.
Matteo BianchiPublished in: Int. J. Approx. Reason. (2014)
Keyphrases
- logic programming
- proof theory
- sound and complete axiomatization
- sound and complete with respect
- temporal relations
- temporal dimension
- propositional dynamic logic
- epistemic logic
- nonmonotonic logics
- operational semantics
- logical framework
- spatio temporal
- proof theoretic
- linear temporal logic
- dynamic logic
- modal operators
- formal language
- formal semantics
- active rules
- conditional logic
- model theoretic
- spatial and temporal
- temporal information
- temporal constraints
- higher order logic
- modal logic
- predicate calculus
- temporal reasoning
- computational properties
- algebraic structure
- proof procedures
- abstract argumentation frameworks
- fixed point semantics
- logic programs
- classical logic
- default reasoning
- inference rules
- autoepistemic logic
- temporal logic
- automated reasoning
- deontic logic
- nonmonotonic reasoning
- derivation rules
- temporal databases
- semantic information
- algebraic operators
- intuitionistic logic
- argumentation frameworks
- highly expressive
- logical formulas
- temporal aspects