On the Logics with Propositional Quantifiers Extending S5Π.
Yifeng DingPublished in: Advances in Modal Logic (2018)
Keyphrases
- first order logic
- expressive power
- classical first order logic
- inference rules
- propositional logic
- default logic
- modal logic
- propositional variables
- coalition logic
- linearly ordered
- nonmonotonic logics
- horn clauses
- theorem proving
- computational properties
- inductive logic programming
- propositional calculus
- machine learning
- decision procedures
- autoepistemic logic
- strips planning
- knowledge representation
- probabilistic logic
- epistemic logic
- dynamic logic
- proof theory
- theorem prover
- horn logic
- learning algorithm