Switch to: References

Add citations

You must login to add citations.
  1. 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.
  • 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Dynamics of Awareness.Benthem Johan van & R. Velázquez-Quesada Fernando - 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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Price of Privacy.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:32-48.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark