Two ways to scare a Gruffalo
From MaRDI portal
Publication:6132566
DOI10.1007/978-3-031-26689-8_4OpenAlexW4321441057MaRDI QIDQ6132566FDOQ6132566
Authors: Shikha Singh, Kamal Lodaya, Deepak Khemani
Publication date: 17 August 2023
Published in: Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-26689-8_4
Recommendations
Cites Work
- The logic of public announcements, common knowledge, and private suspicions
- Logics of communication and change
- Logics for epistemic programs
- Dynamic logic for belief revision
- A qualitative theory of dynamic interactive belief revision
- Title not available (Why is that?)
- Weak, strong, and strong cyclic planning via symbolic model checking
- Dynamic epistemic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- One hundred prisoners and a light bulb
- An action language for multi-agent domains
- DEL planning and some tractable cases
- Truth in fiction. Rethinking its logic. The Istanbul lectures
- More for free: a dynamic epistemic framework for conformant planning over transition systems
- Modelling deception using theory of mind in multi-agent systems
- Quantifier-free epistemic term-modal logic with assignment operator
Cited In (1)
This page was built for publication: Two ways to scare a Gruffalo
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132566)