- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Two-dimensional awareness logics
Journal of Philosophical Logic 33 (5):481-495 (2004)
Abstract
Awareness logic is a type of belief logic in which an agent's beliefs are restricted to those sentences that the agent is aware of. Awareness logic is a successful way to circumvent the problem of omniscience so that actual belief is modelled in a reasonable way. In this paper, we suggest a new method modelling awareness and actual belief by using two-dimensional logics. We show that the two-dimensional logics are flexible tools. Different types of concepts of awareness can be easily modelled by this methodOther Versions
No versions found
My notes
Similar books and articles
Semantics for Knowledge and Change of Awareness.Hans van Ditmarsch & Tim French - 2014 - Journal of Logic, Language and Information 23 (2):169-195.
Subjective situations and logical omniscience.Antonio Moreno, Ulises Cortés & Ton Sales - 2002 - Studia Logica 72 (1):7-29.
Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
Belief Base: A Minimal Logic of Fine-Grained Information Dynamics.Pengfei Song - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 222-237.
A suitable semantics for implicit and explicit belief.Alessandro Giordani - 2015 - Logique Et Analyse 58 (231).
Argument evaluation in multi-agent justification logics.Alfredo Burrieza & Antonio Yuste-Ginel - forthcoming - Logic Journal of the IGPL.
The logic of justified belief, explicit knowledge, and conclusive evidence.Alexandru Baltag, Bryan Renne & Sonja Smets - 2014 - Annals of Pure and Applied Logic 165 (1):49-81.
A Logic for Reasoning About Knowledge of Unawareness.Thomas Ågotnes & Natasha Alechina - 2014 - Journal of Logic, Language and Information 23 (2):197-217.
Analytics
Added to PP
2009-01-28
Downloads
73 (#289,748)
6 months
8 (#613,944)
2009-01-28
Downloads
73 (#289,748)
6 months
8 (#613,944)
Historical graph of downloads
Citations of this work
The KK Principle and the Strong Notion of Knowledge: Hintikka’s Arguments for KK Revisited.Chen Bo - forthcoming - History and Philosophy of Logic:1-17.
References found in this work
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
A general possible worlds framework for reasoning about knowledge and belief.Heinrich Wansing - 1990 - Studia Logica 49 (4):523 - 539.
Quantified modal logic: Non-normal worlds and propositional attitudes.Veikko Rantala - 1982 - Studia Logica 41 (1):41 - 65.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-f5f4x uwo