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  
  • Semantics for Knowledge and Change of Awareness.Hans van Ditmarsch & Tim French - 2014 - Journal of Logic, Language and Information 23 (2):169-195.
    We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Don’t forget forgetting: the social epistemic importance of how we forget.Daniel J. Singer, Aaron Bramson, Patrick Grim, Bennett Holman, Karen Kovaka, Jiin Jung & William J. Berger - 2019 - Synthese 198 (6):5373-5394.
    We motivate a picture of social epistemology that sees forgetting as subject to epistemic evaluation. Using computer simulations of a simple agent-based model, we show that how agents forget can have as large an impact on group epistemic outcomes as how they share information. But, how we forget, unlike how we form beliefs, isn’t typically taken to be the sort of thing that can be epistemically rational or justified. We consider what we take to be the most promising argument for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Don’t forget forgetting: the social epistemic importance of how we forget.Daniel J. Singer, Aaron Bramson, Patrick Grim, Bennett Holman, Karen Kovaka, Jiin Jung & William Berger - 2019 - Synthese 198 (6):5373-5394.
    We motivate a picture of social epistemology that sees forgetting as subject to epistemic evaluation. Using computer simulations of a simple agent-based model, we show that how agents forget can have as large an impact on group epistemic outcomes as how they share information. But, how we forget, unlike how we form beliefs, isn’t typically taken to be the sort of thing that can be epistemically rational or justified. We consider what we take to be the most promising argument for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Public Announcements, Public Lies and Recoveries.Kai Li & Jan van Eijck - 2022 - Journal of Logic, Language and Information 31 (3):423-450.
    The paper gives a formal analysis of public lies, explains how public lying is related to public announcement, and describes the process of recoveries from false beliefs engendered by public lying. The framework treats two kinds of public lies: simple lying update and two-step lying, which consists of suggesting that the lie may be true followed by announcing the lie. It turns out that agents’ convictions of what is true are immune to the first kind, but can be shattered by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Forgetting complex propositions.David Fernández–Duque, Ángel Nepomuceno–Fernández, Enrique Sarrión–Morrillo, Fernando Soler–Toscano & Fernando R. Velázquez–Quesada - 2015 - Logic Journal of the IGPL 23 (6):942-965.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Inference, Promotion, and the Dynamics of Awareness.Johan van Benthem - unknown
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations