A Note on Algebraic Semantics for S5 with Propositional Quantifiers.
Wesley H. HollidayPublished in: Notre Dame J. Formal Log. (2019)
Keyphrases
- first order logic
- formal semantics
- disjunctive logic programming
- autoepistemic logic
- propositional logic
- algebraic structure
- model theoretic
- semantic information
- higher order
- nonmonotonic logics
- sound and complete axiomatization
- predicate calculus
- strips planning
- default logic
- multi valued
- databases
- truth maintenance systems
- satisfiability testing
- probabilistic logic
- mathematical theory
- reasoning tasks
- logic programming
- relational databases
- natural language