Sergei Artemov Elena Nogina Graduate Center Cuny Bmcc Cuny Ph.D. Program in...  Home/Search
Context Related
| tark.org/proceedings...p279artemov.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tark.org/proceeding...proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato's definition did not have a formal representation. (Update)
Context of citations to this paper: More
...general. S4 is nothing but a lazy higher level language on top of LP. Explicit counterparts of modal logics K, K4, and S5 were found in [12], 28] 5. LP may be regarded as a basic epistemic logic with explicit justifications; a problem of finding such systems was raised by van...
Cited by: More
Explicit Provability And Constructive Semantics - Artemov (2001) (Correct)
Explicit Provability and Constructive Semantics - Artemov (2000) (Correct)
Active bibliography (related documents): More All
0.8: Logical Omniscience and Common Knowledge; - What Do We (Correct)
0.7: Explicit Provability: The Intended Semantics for Intuitionistic.. - Artemov (1998) (Correct)
0.7: Logic of Proofs: a Unified Semantics for Modality and lambda-Terms - Artemov (1998) (Correct)
Similar documents based on text:
99.0: Unknown - (Correct)
Related documents from co-citation: More All
4: Intensional mathematics (context) - theory - 1985
2: Church's thesis is consistent with epistemic arithmetic (context) - Flagg - 1985
2: Knowledge and Belief (context) - Hintikka - 1962
BibTeX entry: (Update)
@misc{ elena-epistemic,
author = "Sergei Artemov Elena",
title = "On Epistemic Logic with Justification",
url = "citeseer.ist.psu.edu/artemov99epistemic.html" }
Citations (may not include all citations):604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995 ACM
343 Introduction to Metamathematics (context) - Kleene - 1952
134 Labelled Deductive Systems (context) - Gabbay - 1994
42 Annals of Pure and Applied Logic (context) - Fitting, of et al. - 2005
38 Cambridge University Press (context) - Boolos, of - 1993
15 Is Justified True Belief Knowledge (context) - Gettier - 1963
15 Eine Interpretation des intuitionistischen Aussagenkalkuls (context) - Godel - 1933
14 Operational Modal Logic - Artemov - 1995
13 The Unprovability of Consistency: An Essay in Modal Logic (context) - Boolos - 1979
13 Resource-bounded knowledge (context) - Moses - 1988 ACM DBLP
9 Annals of Pure and Applied Logic (context) - Artemov, Proofs - 1994
9 Philosophical Explanations (context) - Nozick - 1981
9 Logical omniscience (context) - Parikh - 1995 ACM DBLP
6 Reflections on epistemic logic (context) - van Benthem - 1991
6 provability and intuitionistic logic (context) - Arithmetical - 1978
6 Provability Logic with Operations on Proofs (context) - Sidon - 1997 ACM DBLP
5 On superintuitionistic logics as fragments of proof logic (context) - Kuznetsov, Yu - 1986
5 Kolmogorov logic of problems and a provability interpretatio.. (context) - Artemov - 1990
4 Zur Deutung der intuitionistischen logik (context) - Kolmogoro - 1932
3 The Bulletin for Symbolic Logic (context) - Artemov, constructive - 2001
3 On explicit counterparts of modal logics (context) - Brezhnev - 2000
3 Knowledge: Undefeated Justified True Belief (context) - Lehrer, Paxson - 1969
3 Logical Foundations of Computer Science (context) - Mkrtychev, the et al. - 1997 ACM
3 A Causal Theory of Knowing (context) - Goldman - 1967
2 Evidence-based common knowledge (context) - Artemov - 2004
2 Annals of Pure and Applied Logic (context) - Yavorskaya, Logic et al. - 2002
1 To appear in The Bulletin of Symbolic Logic in the proceedin.. (context) - Nogina, of et al. - 2005
1 Provability logic (context) - Artemov, Beklemishev - 2004
1 Vortrag bei Zilsel (context) - Godel - 1938
1 On logic of knowledge with justifications (context) - Artemov, Kazakov et al. - 1999
1 Studies in Logic and the Foundations of Mathematics (context) - de Jongh, Japaridze et al. - 1998
1 Logic of knowledge with justifications from the provability .. (context) - Artemov, Nogina - 2004
1 International Symposium on Methodolody for Intellectual Syst.. (context) - Parikh, the et al. - 1987
1 Logic and Information (context) - Hendricks, JoLLI et al. - 2003
1 Fourteenth All-Union Algebra Conf (context) - Kuznetsov, Yu et al. - 1977
1 the logic of proofs (context) - Brezhnev - 2001
1 A semantics for the logic of proofs (context) - Fitting - 2003
1 Belief and Subjective Probability (context) - Lenzen - 2003
1 Technical Report TR (context) - Fitting, Tableaus - 2004
1 Australian Journal of Philosophy v (context) - Lewis - 1996
1 To appear in Logica 2004 Proceedings (context) - Fitting, of et al. - 2004
1 Kolmogorov's and Godel's approach to intuitionistic logic: c.. (context) - Artemov - 2004
1 Reprinted in Contemporary Readings in Epistemology (context) - Bonjour, Theory et al. - 1993
1 Grzegorczyk logic with arithmetical proof operators (context) - Nogina - 1996
1 Logic of proofs with the strong provability operator (context) - Nogina - 1994
Documents on the same site (http://www.tark.org/proceedings/tark_jul10_05/proceedings.html): More
Complexity Results for Logics of Local Reasoning and.. - Martin Allen Computer (Correct)
Understanding Human Strategies for Change: An Empirical Study - Alankar Karol Mary-Anne (Correct)
Decisions under Subjective Information - Stecher (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC