Switch to: References

Citations of:

Some Truths Are Best Left Unsaid

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 36-54 (1998)

Add citations

You must login to add citations.
  1. Dynamic epistemic logics: promises, problems, shortcomings, and perspectives.Andreas Herzig - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):328-341.
    Dynamic epistemic logics provide an account of the evolution of agents’ belief and knowledge when they learn the occurrence of an event. These logics started to become popular about 20 years ago and by now there exists a huge number of publications about them. The present paper briefly summarises the existing body of literature, discusses some problems and shortcomings, and proposes some avenues for future research.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Composable Language for Action Models.Tim French, James Hales & Edwin Tay - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 197-216.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Dynamic epistemic logics for abstract argumentation.Carlo Proietti & Antonio Yuste-Ginel - 2021 - Synthese 199 (3-4):8641-8700.
    This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of communication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states of a (...)
    Download  
     
    Export citation  
     
    Bookmark