Sentential Semantics for Propositional Attitudes.
Andrew R. HaasPublished in: Comput. Linguistics (1990)
Keyphrases
- disjunctive logic programming
- sound and complete axiomatization
- formal semantics
- logical theories
- first order logic
- propositional logic
- logic programming
- model theoretic
- semantic information
- autoepistemic logic
- attitudes toward
- strong equivalence
- sentence level
- nonmonotonic logics
- default logic
- propositional theories
- logic programs