A PDL-Like Logic of Knowledge Acquisition

DOI10.1007/978-3-540-74510-5_17zbMath1188.03021OpenAlexW1836259941MaRDI QIDQ3499772

Bernhard Heinemann

Publication date: 3 June 2008

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74510-5_17

zbMATH Keywords

knowledge acquisitionpropositional dynamic logictopological reasoninglogics of knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Related Items (3)

Updating knowledge using subsets ⋮ Reverse public announcement operators on expanded models ⋮ Epistemic Conditionals and the Logic of Subsets

This page was built for publication: A PDL-Like Logic of Knowledge Acquisition