Second-order Propositional Announcement Logic.
Francesco BelardinelliHans van DitmarschWiebe van der HoekPublished in: AAMAS (2016)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- horn clauses
- proof procedure
- predicate calculus
- deductive reasoning
- propositional logic
- autoepistemic logic
- logic programming
- general logic programs
- first order logic
- higher order
- propositional variables
- classical logic
- propositional theories
- logical framework
- default logic
- belief revision
- predicate logic
- coalition logic
- truth maintenance systems
- high order
- strips planning
- computational properties
- logical theories
- natural deduction
- relational databases
- modal logic
- knowledge representation