- 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
Three-valued logics for incomplete information and epistemic logic
In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 147--159 (2012)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Propositional and predicate logics of incomplete information.Marco Console, Paolo Guagliardo & Leonid Libkin - 2022 - Artificial Intelligence 302 (C):103603.
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.
Many‐Valued, Free, and Intuitionistic Logics.Richard Grandy - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 531–544.
Building an epistemic logic for argumentation.François Schwarzentruber, Srdjan Vesic & Tjitze Rienstra - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 359--371.
Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems.Osamu Morikawa - 2001 - Notre Dame Journal of Formal Logic 42 (1):55-64.
Non-standard logics for automated reasoning, edited by Philippe Smets, Abe Mamdani, Didier Dubois, and Henri Prade, Academic Press, London etc. 1988, x + 334 pp. [REVIEW]Charles G. Morgan - 1992 - Journal of Symbolic Logic 57 (1):277-281.
A four-valued semantics for terminological logics.Peter F. Patel-Schneider - 1989 - Artificial Intelligence 38 (3):319-351.
Special issue on logics and artificial intelligence.Zoe Falomir, Vicent Costa, Enric Plaza & Karina Gibert - 2021 - Logic Journal of the IGPL 29 (1):1-6.
Analytics
Added to PP
2014-01-28
Downloads
197 (#124,605)
6 months
4 (#1,233,928)
2014-01-28
Downloads
197 (#124,605)
6 months
4 (#1,233,928)
Historical graph of downloads
Author's Profile
Citations of this work
On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic.Mateusz M. Radzki - 2017 - Axiomathes 27 (4):403-415.
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.
References found in this work
Propositional calculus for contradictory deductive systems.Stanisław Jaśkowski - 1969 - Studia Logica 24 (1):143 - 160.
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.
On Ignorance and Contradiction Considered as Truth-Values.Didier Dubois - 2008 - Logic Journal of the IGPL 16 (2):195-216.
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-667477cd97-lxkd2 dc2