Modal Fixed-Point Logic and Changing Models
From MaRDI portal
Publication:5452177
DOI10.1007/978-3-540-78127-1_9zbMath1133.03325MaRDI 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
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
03B70: Logic in computer science
Related Items
A Hybrid Public Announcement Logic with Distributed Knowledge, To be announced, On axiomatizations of public announcement logic, Logics of Rational Interaction, Continuous Fragment of the mu-Calculus
Cites Work