About this topic
Summary Epistemic logics are logics that allow one to reason about knowledge in some way. The term ‘epistemic logic’ is often applied also to logics of related notions, such as logics of belief (more strictly, doxastic logics) and justification. Many epistemic logics are modal logics, whose language contains one or more knowledge operators and whose semantics is given in terms of relational Kripke models, containing epistemically possible worlds related to one another by epistemic accessibility relations. This modal approach to epistemic logic has been widely adopted in formal logic, philosophy, computer science, artificial intelligence, economics and game theory. The sub-sategory ‘Doxastic and Epistemic Logic’ also includes formal work on belief revision. This category also includes inductive logics and non-monotonic logics, both of which add to the stock of valid inferences, beyond those valid in classical logic. (These logics are super-classical, containing inferences which are not deductively valid and hence, in some sense, less than certain. In such logics, there is no guarantee that truth will be preserved from premises to conclusions. Non-monotonic logics have the feature that an inference from premises X to conclusion A may be valid, and yet the inference to may fail if we add an addition premise B to X, so that XA but not X, B ⊢ A.
Key works Modern epistemic logic began with Hintikka 1962, who developed Kripke-style semantics for epistemic notions and discussed appropriate axioms for knowledge and belief. Hintikka proposes a solution to the logical omniscience problem, whereby agents are treated as automatically knowing all consequences of what they know, in Hintikka 1975. Hintikka's approach is developed and applied to problems in computer science in Fagin et al 1995. The leading theory of belief revision, the ‘AGM’ theory, was first presented in Alchourrón et al 1985. Key early works in inductive logic are Keynes 1929 and Carnap’s 1945, 19521950. Key early works in non-monotonic logic are Moore 1985
Introductions Hintikka 1962 is a great introduction to epistemic and doxastic logics; Hendricks 2008 briefly surveys the area. Huber 2013 introduces and discusses AGM theories of belief revision. Hawthorne 2011 and Huber 2007 are good encyclopaedia entries on inductive logic; Hacking 2001 is a book-length introduction. Antonelli 2008 is a good, brief introduction to non-monotonic logic; an excellent book-length treatment is Makinson 2005
Related categories

1141 found
Order:
1 — 50 / 1141
Material to categorize
  1. Two New Series of Principles in the Interpretability Logic of All Reasonable Arithmetical Theories.Evan Goris & Joost J. Joosten - 2020 - Journal of Symbolic Logic 85 (1):1-25.
    The provability logic of a theory T captures the structural behavior of formalized provability in T as provable in T itself. Like provability, one can formalize the notion of relative interpretability giving rise to interpretability logics. Where provability logics are the same for all moderately sound theories of some minimal strength, interpretability logics do show variations.The logic IL is defined as the collection of modal principles that are provable in any moderately sound theory of some minimal strength. In this article (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Bilattice Logic of Epistemic Actions and Knowledge.Zeinab Bakhtiari, Hans van Ditmarsch & Umberto Rivieccio - 2020 - Annals of Pure and Applied Logic 171 (6):102790.
    Baltag, Moss, and Solecki proposed an expansion of classical modal logic, called logic of epistemic actions and knowledge (EAK), in which one can reason about knowledge and change of knowledge. Kurz and Palmigiano showed how duality theory provides a flexible framework for modeling such epistemic changes, allowing one to develop dynamic epistemic logics on a weaker propositional basis than classical logic (for example an intuitionistic basis). In this paper we show how the techniques of Kurz and Palmigiano can be further (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Recapturing Dynamic Logic of Relation Changers Via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - forthcoming - Studia Logica.
    The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Predicate Change.Corina Strößner - forthcoming - Journal of Philosophical Logic:1-25.
    Like belief revision, conceptual change has rational aspects. The paper discusses this for predicate change. We determine the meaning of predicates by a set of imaginable instances, i.e., conceptually consistent entities that fall under the predicate. Predicate change is then an alteration of which possible entities are instances of a concept. The recent exclusion of Pluto from the category of planets is an example of such a predicate change. In order to discuss predicate change, we define a monadic predicate logic (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Revising Probabilities and Full Beliefs.Sven Ove Hansson - forthcoming - Journal of Philosophical Logic:1-35.
    A new formal model of belief dynamics is proposed, in which the epistemic agent has both probabilistic beliefs and full beliefs. The agent has full belief in a proposition if and only if she considers the probability that it is false to be so close to zero that she chooses to disregard that probability. She treats such a proposition as having the probability 1, but, importantly, she is still willing and able to revise that probability assignment if she receives information (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Jeffrey Meets Kolmogorov.Alexander Meehan & Snow Zhang - forthcoming - Journal of Philosophical Logic:1-39.
    Jeffrey conditionalization is a rule for updating degrees of belief in light of uncertain evidence. It is usually assumed that the partitions involved in Jeffrey conditionalization are finite and only contain positive-credence elements. But there are interesting examples, involving continuous quantities, in which this is not the case. Q1 Can Jeffrey conditionalization be generalized to accommodate continuous cases? Meanwhile, several authors, such as Kenny Easwaran and Michael Rescorla, have been interested in Kolmogorov’s theory of regular conditional distributions as a possible (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Probability Modals and Infinite Domains.Adam Marushak - forthcoming - Journal of Philosophical Logic:1-15.
    Recent years have witnessed a proliferation of attempts to apply the mathematical theory of probability to the semantics of natural language probability talk. These sorts of “probabilistic” semantics are often motivated by their ability to explain intuitions about inferences involving “likely” and “probably”—intuitions that Angelika Kratzer’s canonical semantics fails to accommodate through a semantics based solely on an ordering of worlds and a qualitative ranking of propositions. However, recent work by Wesley Holliday and Thomas Icard has been widely thought to (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Implicit and Explicit Stances in Logic.Johan Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.
    We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. A Remark on Probabilistic Measures of Coherence.Sergi Oms - 2020 - Notre Dame Journal of Formal Logic 61 (1):129-140.
    In recent years, some authors have proposed quantitative measures of the coherence of sets of propositions. Such probabilistic measures of coherence are, in general terms, functions that take as their argument a set of propositions and yield as their value a number that is supposed to represent the degree of coherence of the set. In this paper, I introduce a minimal constraint on PMC theories, the weak stability principle, and show that any correct, coherent, and complete PMC cannot satisfy it. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Reusing Topological Nexttime Logic.Bernhard Heinemann - forthcoming - Studia Logica:1-28.
    In this paper, a particular extension of the constitutive bi-modal logic for single-agent subset spaces will be provided. That system, which originally was designed for revealing the intrinsic relationship between knowledge and topology, has been developed in several directions in recent years, not least towards a comprehensive knowledge-theoretic formalism. This line is followed here to the extent that subset spaces are supplied with a finite number of functions which shall represent certain knowledge-enabling actions. Due to the corresponding functional modalities, another (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. From Concepts to Predicates Within Constructivist Epistemology.Farshad Badie - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction. Berlin, Germany: Springer.
    In this research constructivist epistemology provides a ground for conceptual analysis of concept construction, conception production, and concept learning processes. Relying on a constructivist model of knowing, this research will make an epistemological and logical linkage between concepts and predicates.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Review of Bayesian Epistemology.Erik J. Olsson - 2005 - Studia Logica 81:443-446.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. The Value of Biased Information.Nilanjan Das - forthcoming - British Journal for the Philosophy of Science:axaa003.
    In this essay, I cast doubt on an apparent truism: namely, that if evidence is available for gathering and use at a negligible cost, then it's always instrumentally rational for us to gather that evidence and use it for making decisions. Call this thesis Value of Information. I show that Value of Information conflicts with two other plausible theses. The first is the view that an agent's evidence can entail non-trivial propositions about the external world. The second is the view (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14. Pure Inductive Logic with Functions.Elizabeth Howarth & Jeffrey B. Paris - 2019 - Journal of Symbolic Logic 84 (4):1382-1402.
    We consider the version of Pure Inductive Logic which obtains for the language with equality and a single unary function symbol giving a complete characterization of the probability functions on this language which satisfy Constant Exchangeability.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - forthcoming - Journal of Philosophical Logic:1-40.
    We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Dynamic Graded Epistemic Logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
    Graded epistemic logic is a logic for reasoning about uncertainties. Graded epistemic logic is interpreted on graded models. These models are generalizations of Kripke models. We obtain completeness of some graded epistemic logics. We further develop dynamic extensions of graded epistemic logics, along the framework of dynamic epistemic logic. We give an extension with public announcements, i.e., public events, and an extension with graded event models, a generalization also including nonpublic events. We present complete axiomatizations for both logics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Small Infinitary Epistemic Logics.Tai-wei Hu, Mamoru Kaneko & Nobu-Yuki Suzuki - 2019 - Review of Symbolic Logic 12 (4):702-735.
    We develop a series of small infinitary epistemic logics to study deductive inference involving intra-/interpersonal beliefs/knowledge such as common knowledge, common beliefs, and infinite regress of beliefs. Specifically, propositional epistemic logics GL are presented for ordinal α up to a given αo so that GL is finitary KDn with n agents and GL allows conjunctions of certain countably infinite formulae. GL is small in that the language is countable and can be constructive. The set of formulae Lα is increasing up (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Completeness for Counter-Doxa Conditionals – Using Ranking Semantics.Eric Raidl - 2019 - Review of Symbolic Logic 12 (4):861-891.
    Standard conditionals $\varphi > \psi$, by which I roughly mean variably strict conditionals à la Stalnaker and Lewis, are trivially true for impossible antecedents. This article investigates three modifications in a doxastic setting. For the neutral conditional, all impossible-antecedent conditionals are false, for the doxastic conditional they are only true if the consequent is absolutely necessary, and for the metaphysical conditional only if the consequent is ‘model-implied’ by the antecedent. I motivate these conditionals logically, and also doxastically by properties of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19. Logic and Topology for Knowledge, Knowability, and Belief.Adam Bjorndahl & Aybüke Özgün - forthcoming - Review of Symbolic Logic:1-28.
    In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge 35. Building on Stalnaker’s core insights, and using frameworks developed in 11 and 3, we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological subset spaces allows for a natural distinction between what is known and what is knowable; we argue that the foundational axioms of Stalnaker’s system rely intuitively on both of these notions. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Non-Monotonic Logic and the Compatibility of Science and Religion.Marcin Trepczyński - 2019 - Logica Universalis 13 (4):457-466.
    The article aims to show how the acceptance of non-monotonic logic enables arguments to be held between science and religion in a way that does not exclude either of these two spheres. The starting point of the analyses is the idea of the 13th century Danish philosopher, Boethius of Dacia, who states that it is both acceptable that: a natural scientist negates that the world had a beginning, and a Christian theologian asserts that the world had a beginning, because each (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Logics for Belief as Maximally Plausible Possibility.Giacomo Bonanno - forthcoming - Studia Logica:1-43.
    We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four interaction properties (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Intensional Protocols for Dynamic Epistemic Logic.Hanna S. Van Lee, Rasmus K. Rendsvig & Suzanne van Wijk - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.
    In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic, called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Jaakko Hintikka. Knowledge and Belief. An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca, N.Y., 1962, X + 179 Pp. [REVIEW]Hector-Neri Castañeda - 1964 - Journal of Symbolic Logic 29 (3):132-134.
  24. Jaakko Hintikka. Knowledge and Belief. An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca, N.Y., 1962, X + 179 Pp. [REVIEW]Hector-Neri Castañeda - 1964 - Journal of Symbolic Logic 29 (3):132-134.
  25. Rudolf Carnap. The Aim of Inductive Logic. Logic, Methodology and Philosophy of Science, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 303–318. - Rudolf Carnap. Logical Foundations of Probability. Second Edition of XVI 205, with Added Preface and Supplementary Bibliography. The University of Chicago Press, Chicago1962, Xxvii + 613 Pp. - Rudolf Carnap. Remarks on Probability. Philosophical Studies , Vol. 14 , Pp. 65–75. [REVIEW]Richard C. Jeffrey - 1967 - Journal of Symbolic Logic 32 (1):104-105.
  26. Rudolf Carnap. The Aim of Inductive Logic. Logic, Methodology and Philosophy of Science, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 303–318. - Rudolf Carnap. Logical Foundations of Probability. Second Edition of XVI 205, with Added Preface and Supplementary Bibliography. The University of Chicago Press, Chicago1962, Xxvii + 613 Pp. - Rudolf Carnap. Remarks on Probability. Philosophical Studies , Vol. 14 , Pp. 65–75. [REVIEW]Richard C. Jeffrey - 1967 - Journal of Symbolic Logic 32 (1):104-105.
  27. David Greenwood. Quantitative Inductive Procedures. The Nature of Science and Other Essays, by David Greenwood, Philosophical Library, New York1959, Pp. 32–43. [REVIEW]Edward E. Dawson - 1966 - Journal of Symbolic Logic 31 (3):494-496.
  28. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - forthcoming - Erkenntnis:1-30.
    We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. E. J. Lemmon. On Sentences Verifiable by Their Use. Analysis , Vol. 22 No. 4 , Pp. 86–89. - Jaakko Hintikka. Cogito, Ergo Sum: Inference or Performance?The Philosophical Review, Vol. 71 , Pp. 3–32. [REVIEW]James Cargile - 1969 - Journal of Symbolic Logic 33 (4):615-616.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. E. J. Lemmon. On Sentences Verifiable by Their Use. Analysis , Vol. 22 No. 4 , Pp. 86–89. - Jaakko Hintikka. Cogito, Ergo Sum: Inference or Performance?The Philosophical Review, Vol. 71 , Pp. 3–32. [REVIEW]James Cargile - 1969 - Journal of Symbolic Logic 33 (4):615-616.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. Foster Marguerite H. And Martin Michael L.. General Introduction. Probability, Confirmation, and Simplicity. Readings in the Philosophy of Inductive Logic. Edited by Foster Marguerite H. And Martin Michael L.. The Odyssey Press Inc., New York 1966, Pp. 1–13.Foster Marguerite H. And Martin Michael L.. The Meaning of Probability. Introduction. Probability, Confirmation, and Simplicity. Readings in the Philosophy of Inductive Logic. Edited by Foster Marguerite H. And Martin Michael L.. The Odyssey Press Inc., New York 1966, Pp. 17–26.Carnap Rudolf. On Inductive Logic. A Reprint of XI19. Probability, Confirmation, and Simplicity. Readings in the Philosophy of Inductive Logic. Edited by Foster Marguerite H. And Martin Michael L.. The Odyssey Press Inc., New York 1966, Pp. 35–61.Barker Stephen F.. Enumerative Induction. A Reprint of Pp. 82–90 of XXVII 122. Probability, Confirmation, and Simplicity. Readings in the Philosophy of Inductive Logic. Edited by Foster Marguerite H. And Martin Micha. [REVIEW]David Miller - 1970 - Journal of Symbolic Logic 35 (3):451-454.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32. Rudolf Carnap. Inductive Logic and Inductive Intuition. The Problem of Inductive Logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 2, Edited by Imre Lakatos, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 258–267. - M. Bunge, J. W. N. Watkins, Y. Bar-Hillel, K. R. Popper, J. Hintikka, R. Carnap. Discussion. The Problem of Inductive Logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 2, Edited by Imre Lakatos, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 268–314. [REVIEW]Henry E. Kyburg - 1975 - Journal of Symbolic Logic 40 (3):449-450.
  33. Rudolf Carnap. Inductive Logic and Inductive Intuition. The Problem of Inductive Logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 2, Edited by Imre Lakatos, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 258–267. - M. Bunge, J. W. N. Watkins, Y. Bar-Hillel, K. R. Popper, J. Hintikka, R. Carnap. Discussion. The Problem of Inductive Logic, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 2, Edited by Imre Lakatos, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 268–314. [REVIEW]Henry E. Kyburg - 1975 - Journal of Symbolic Logic 40 (3):449-450.
  34. Rudolf Carnap and Richard C. Jeffrey. Introduction. Studies in Inductive Logic and Probability, Volume I, Edited by Rudolf Carnap and Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1971, Pp. 1–4. - Rudolf Carnap. Inductive Logic and Rational Decisions. A Modified and Expanded Version of XXXII 104. Studies in Inductive Logic and Probability, Pp. 5–31. - Rudolf Carnap. A Basic System of Inductive Logic, Part I. Studies in Inductive Logic and Probability, Pp. 33–165. - Richard C Jeffrey. Probability Measures and Integrals. Studies in Inductive Logic and Probability, Pp. 167–223. - Jürgen Humburg. The Principle of Instantial Relevance. Studies in Inductive Logic and Probability, Pp. 225–233. - Haim Gaifman. Applications of de Finetti's Theorem to Inductive Logic. Studies in Inductive Logic and Probability, Pp. 235–251. [REVIEW]David Miller - 1975 - Journal of Symbolic Logic 40 (4):581-583.
  35. Conservation of the Circle: Core Dynamic in Nature.Ilexa Yardley - 2017
    Zero and one is circumference and diameter. Literally. And, figuratively.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. Richard Jeffrey. Introduction. Studies in Inductive Logic and Probability, Volume II, Edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, Pp. 1–6. - Rudolf Carnap. A Basic System of Inductive Logic, Part II. Studies in Inductive Logic and Probability, Volume II, Edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, Pp. 7–155. - Jaakko Hintikka and Ilkka Niiniluoto. An Axiomatic Foundation for the Logic of Inductive Generalization. Studies in Inductive Logic and Probability, Volume II, Edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, Pp. 157–181. - Theo A. F. Kuipers. A Survey of Inductive Systems. Studies in Inductive Logic and Probability, Volume II, Edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, Pp. 183–192. - Jens Erik Fenstad. The Structure of Probabilities Defined on First-O. [REVIEW]C. Howson - 1984 - Journal of Symbolic Logic 49 (4):1409-1410.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Nimrod Megiddo and Avi Wigderson. On Play by Means of Computing Machines . Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 259–274. - Haim Gaifman. A Theory of Higher Order Probabilities. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 275–292. - Silvio Micali. Knowledge and Efficient Computation. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 353–362. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):669-670.
  38. Nimrod Megiddo and Avi Wigderson. On Play by Means of Computing Machines . Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 259–274. - Haim Gaifman. A Theory of Higher Order Probabilities. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 275–292. - Silvio Micali. Knowledge and Efficient Computation. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 353–362. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):669-670.
  39. Gerhard Lakemeyer. Steps Towards a First-Order Logic of Explicit and Implicit Belief. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 325–340. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668.
  40. Gerhard Lakemeyer. Steps Towards a First-Order Logic of Explicit and Implicit Belief. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 325–340. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668.
  41. Raymond M. Smullyan. Logicians Who Reason About Themselves. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 341–352. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668-669.
  42. Raymond M. Smullyan. Logicians Who Reason About Themselves. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 341–352. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668-669.
  43. Kurt Konolige. What Awareness Isn't: A Sentential View of Implicit and Explicit Belief. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 241–250. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):667-668.
  44. Kurt Konolige. What Awareness Isn't: A Sentential View of Implicit and Explicit Belief. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 241–250. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):667-668.
  45. Jim Des Rivières and Hector J. Levesque. The Consistency of Syntactical Treatments of Knowledge. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 115–130. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):665-666.
  46. Jim Des Rivières and Hector J. Levesque. The Consistency of Syntactical Treatments of Knowledge. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 115–130. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):665-666.
  47. Leora Morgenstern. A First Order Theory of Planning, Knowledge, and Action. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 99–114. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):664-665.
  48. Leora Morgenstern. A First Order Theory of Planning, Knowledge, and Action. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 99–114. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):664-665.
  49. Nicholas M. Asher and Johan A. W. Kamp. The Knower's Paradox and Representational Theories of Attitudes. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 131–147. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):666.
  50. Nicholas M. Asher and Johan A. W. Kamp. The Knower's Paradox and Representational Theories of Attitudes. Theoretical Aspects of Reasoning About Knowledge, Proceedings of the 1986 Conference, Edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, Pp. 131–147. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):666.
1 — 50 / 1141