Completeness of second-order Propositional S4 and H in Topological Semantics.
Philip KremerPublished in: Rev. Symb. Log. (2018)
Keyphrases
- propositional logic
- model theoretic
- sound and complete axiomatization
- formal semantics
- higher order
- operational semantics
- logic programming
- disjunctive logic programming
- nonmonotonic logics
- default logic
- autoepistemic logic
- predicate calculus
- logical framework
- truth maintenance systems
- proof procedure
- knowledge base
- topological properties
- deductive databases
- data quality
- knowledge representation