No finite model property for logics of quantified announcements
From MaRDI portal
Publication:6642571
DOI10.4204/EPTCS.335.12MaRDI QIDQ6642571
Hans van Ditmarsch, Rustam Galimullin, Tim French
Publication date: 24 November 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The undecidability of quantified announcements
- Group announcement logic
- Decidability and the finite model property
- A solution to a problem of Urquhart
- Positive announcements
- Coalition and relativised group announcement logic
- Logics of public communications
- On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II
- Epistemic planning for single- and multi-agent systems
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
- A Modal Logic for Coalitional Power in Games
- Products of modal logics, part 1
- On axiomatising products of Kripke frames
- On modal logics betweenK × K × KandS5 × S5 × S5
- Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
This page was built for publication: No finite model property for logics of quantified announcements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642571)
