Axiomatization of a Branching Time Logic with Indistinguishability Relations.
Alberto GattoPublished in: J. Philos. Log. (2016)
Keyphrases
- epistemic logic
- modal logic
- temporal logic
- truth values
- logic programming
- temporal reasoning
- relation algebra
- model checking
- logical theories
- equivalence relation
- horn clauses
- logical framework
- classical logic
- t norm
- automated reasoning
- complete axiomatization
- encryption scheme
- temporal relations
- situation calculus
- modal operators
- asynchronous circuits
- inference rules
- semantic relations