A General Relational Semantics of Propositional Logic: Axiomatization.
Shengyang ZhongPublished in: WoLLIC (2021)
Keyphrases
- propositional logic
- possibilistic logic
- nonmonotonic logics
- belief revision
- first order logic
- quantified boolean formulae
- formal semantics
- lattice theory
- minimal models
- proof procedure
- logical theories
- data model
- satisfiability testing
- relational databases
- truth maintenance systems
- operational semantics
- knowledge representation
- horn logic