See this document in CiteSeerX!

On Epistemic Logic with Justification  (Make Corrections)  (2 citations)
Sergei Artemov Elena Nogina Graduate Center Cuny Bmcc Cuny Ph.D. Program in...



  Home/Search   Context   Related

 
View or download:
tark.org/proceedings...p279artemov.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  tark.org/proceeding...proceedings (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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