A Note about the Axioms for Branching-Time Logic.
Alberto ZanardoPublished in: Notre Dame J. Formal Log. (1992)
Keyphrases
- epistemic logic
- modal logic
- temporal logic
- model checking
- set theory
- first order logic
- computational properties
- knowledge base
- temporal reasoning
- logic programming
- sound and complete axiomatization
- multi valued
- logical theories
- predicate logic
- nonmonotonic logics
- automated reasoning
- classical logic
- horn clauses
- logic programs
- expert systems
- artificial intelligence
- neural network
- description logics
- digital circuits
- action theories
- search engine
- modal operators
- genetic algorithm