Modal Fixed-Point Logic and Changing Models

DOI10.1007/978-3-540-78127-1_9zbMath1133.03325OpenAlexW2151087759MaRDI QIDQ5452177

Daisuke Ikegami, J. F. A. K. van Benthem

Publication date: 25 March 2008

Published in: Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78127-1_9

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Related Items (5)

Logics of Rational Interaction ⋮ To be announced ⋮ Continuous Fragment of the mu-Calculus ⋮ On axiomatizations of public announcement logic ⋮ A Hybrid Public Announcement Logic with Distributed Knowledge

Cites Work

• Logics of communication and change
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Expressivity and completeness for public update logics via reduction axioms
• Rudiments of \(\mu\)-calculus
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal Fixed-Point Logic and Changing Models