Steps Towards a First-Order Logic of Explicit and Implicit Belief

Journal of Symbolic Logic 53 (2):668-668 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274557

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Gerhard Lakemeyer, Steps Towards a First-Order Logic of Explicit and Implicit Belief. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668-668.
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.
What Awareness Isn't: A Sentential View of Implicit and Explicit Belief.Kurt Konolige - 1988 - Journal of Symbolic Logic 53 (2):667-668.
First Steps into Metapredicativity in Explicit Mathematics.Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
Review: Kurt Konolige, What Awareness Isn't: A Sentential View of Implicit and Explicit Belief. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):667-668.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
On definability in multimodal logic: On definability in multimodal logic.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):451-468.
On generalizing the logic-approach to space-time towards general relativity: first steps.Judit X. Madarász, István Németi & Csaba Toke - 2004 - In Vincent F. Hendricks (ed.), First-order logic revisited. Berlin: Logos. pp. 225--268.
Review: Thomas Strahm, S. Barry Cooper, John K. Truss, First Steps into Metapredicativity in Explicit Mathematics. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
A suitable semantics for implicit and explicit belief.Alessandro Giordani - 2015 - Logique Et Analyse 58 (231).

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,270,032)

6 months
5 (#837,573)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Problem of Rational Knowledge.Mark Jago - 2013 - Erkenntnis (S6):1-18.
Hintikka and Cresswell on Logical Omniscience.Mark Jago - 2006 - Logic and Logical Philosophy 15 (3):325-354.
The Problem of Rational Knowledge.Mark Jago - 2014 - Erkenntnis 79 (Suppl 6):1151-1168.
The Content of Deduction.Mark Jago - 2013 - Journal of Philosophical Logic 42 (2):317-334.
Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references