Refinement Quantified Logics of Knowledge

DOI10.1016/j.entcs.2011.10.008zbMath1347.03024OpenAlexW2055380699WikidataQ113318198 ScholiaQ113318198MaRDI QIDQ2825410

Rowan Davies, James Hales, Tim French

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.10.008

zbMATH Keywords

epistemic logicdecision proceduresaxiomatizationsrefinement quantification

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Related Items

To be announced ⋮ Arrow update synthesis ⋮ Refinement modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Reasoning about information change
• Logics for epistemic programs
• Logics of public communications
• Simulation and Information: Quantifying over Epistemic Events
• On the logic of theory change: Partial meet contraction and revision functions

This page was built for publication: Refinement Quantified Logics of Knowledge