Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics.
Jie FanPublished in: Stud Logica (2022)
Keyphrases
- propositional dynamic logic
- formal semantics
- computational properties
- semantic representation
- logical language
- neighborhood information
- databases
- belief revision
- logic programming
- conceptual graphs
- deductive databases
- data quality
- operational semantics
- model theoretic
- modal operators
- logical properties
- semantic information