Switch to: References

Add citations

You must login to add citations.
  1. Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.
    Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued that (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Introspective forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
    We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Price of privacy.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:32-48.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Rethinking epistemic logic with belief bases.Emiliano Lorini - 2020 - Artificial Intelligence 282 (C):103233.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Forgetting in multi-agent modal logics.Liangda Fang, Yongmei Liu & Hans van Ditmarsch - 2019 - Artificial Intelligence 266 (C):51-80.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions.Patrick Doherty & Andrzej Szałas - 2024 - Artificial Intelligence 326 (C):104036.
    Download  
     
    Export citation  
     
    Bookmark  
  • A lightweight epistemic logic and its application to planning.Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin & Pierre Régnier - 2021 - Artificial Intelligence 298 (C):103437.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The dynamics of awareness.Fernando R. Velázquez-Quesada & Johan van Benthem - 2010 - Synthese 177 (S1):5 - 27.
    Classical epistemic logic describes implicit knowledge of agents about facts and knowledge of other agents based on semantic information. The latter is produced by acts of observation or communication that are described well by dynamic epistemic logics. What these logics do not describe, however, is how significant information is also produced by acts of inference— and key axioms of the system merely postulate "deductive closure". In this paper, we take the view that all information is produced by acts, and hence (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations