- 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
Distributed First Order Logic
Artificial Intelligence 253 (C):1-39 (2017)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Distributed morality in an information society.Luciano Floridi - 2013 - Science and Engineering Ethics 19 (3):727-743.
A Hybrid Public Announcement Logic with Distributed Knowledge.Jens Ulrik Hansen - 2011 - Electronic Notes in Theoretical Computer Science 273:33-50.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Second-order logic : ontological and epistemological problems.Marcus Rossberg - 2006 - Dissertation, St Andrews
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.Yì N. Wáng & Thomas Ågotnes - 2013 - Synthese 190 (S1).
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.Marcus Rossberg - 2015 - Journal of Philosophical Logic 44 (3):341-350.
Non‐elementary speed‐ups in logic calculi.Toshiyasu Arai - 2008 - Mathematical Logic Quarterly 54 (6):629-640.
Do Not Claim Too Much: Second-order Logic and First-order Logic.Stewart Shapiro - 1998 - Philosophia Mathematica 6 (3):42-64.
Analytics
Added to PP
2020-12-22
Downloads
11 (#1,113,583)
6 months
3 (#1,002,413)
2020-12-22
Downloads
11 (#1,113,583)
6 months
3 (#1,002,413)
Historical graph of downloads
Citations of this work
A Modal View on Resource-Bounded Propositional Logics.Pere Pardo - 2022 - Studia Logica 110 (4):1035-1080.
Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Richmond Thomason, Paolo Bouquet & Luciano Serafini (eds.), Perspectives on Context. CSLI Stanford. pp. 171-188.
Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical. [REVIEW]Chiara Ghidini & Fausto Giunchiglia - 2001 - Artificial Intelligence 127 (2):221-259.
References found in this work
Counterpart theory and quantified modal logic.David Lewis - 1968 - Journal of Philosophy 65 (5):113-126.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Formalizing context (expanded notes).John McCarthy & Sasa Buvac - 1998 - CSLI Lecture Notes 81:13-50.
Multilanguage hierarchical logics, or: How we can do without modal logics.Fausto Giunchiglia & Luciano Serafini - 1994 - Artificial Intelligence 65 (1):29-70.
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-7c76586df8-5tf24 uwo