Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic.
Norihiro KamidePublished in: J. Log. Comput. (2017)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- general logic programs
- horn clauses
- classical first order logic
- first order logic
- propositional logic
- predicate calculus
- deductive reasoning
- proof procedure
- linear temporal logic
- logical theories
- automated reasoning
- autoepistemic logic
- logic programming
- modal logic
- classical logic
- theorem proving
- propositional theories
- linear time temporal logic
- belief revision
- model theoretic
- conditional logic
- truth values
- dynamic logic
- probabilistic reasoning
- valued logic
- deductive databases
- temporal logic
- knowledge representation