On Epistemic Logic with Justification

On Epistemic Logic with Justification (2005)

Cached

Download Links

[www.tark.org]

Other Repositories/Bibliography

DBLP

by Sergei Artemov , Elena Nogina

Venue:	NATIONAL UNIVERSITY OF SINGAPORE
Citations:	13 - 4 self

BibTeX

@INPROCEEDINGS{Artemov05onepistemic,
    author = {Sergei Artemov and Elena Nogina},
    title = {On Epistemic Logic with Justification},
    booktitle = {NATIONAL UNIVERSITY OF SINGAPORE},
    year = {2005},
    pages = {279--294},
    publisher = {}
}

Years of Citing Articles

Bookmark

OpenURL

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. This

Citations

1191	Reasoning about knowledge - Fagin, Halpern, et al. - 1995
593	Introduction to Metamathematics - Kleene - 1971
161	Labeled Deductive Systems - Gabbay - 1994
98	The Logic of Provability - Boolos - 1993
86	Philosophical Explanations - Nozick - 1981
67	Explicit Provability and Constructive Semantics - Artemov
65	Eine interpretation des intuitionistischen aussagenkalküls. Ergebnisse eines Mathematischen Kolloquiums - Gödel - 1933
46	Operational modal logic - Artemov - 1995
32	The logic of proofs, semantically - Fitting
31	Is justified true belief knowledge - Gettier - 1963
29	Elusive knowledge - Lewis - 1996
27	Justified common knowledge - Artemov - 2006
24	Knowledge and the Problem of Logical Omniscience - Parikh - 1987
21	The Unprovability of Consistency: An Essay in Modal Logic - Boolos - 1979
21	The Logic of Provability - Jongh, Japaridze - 1998
20	Models for the logic of proofs - Mkrtychev - 1997
18	Vortrag bei Zilsel - Gödel - 1938
18	Logical omniscience - Parikh - 1995
17	On explicit counterparts of modal logics - Brezhnev - 2000
17	A causal theory of knowing - Goldman - 1967
16	N.: Justication Logic - Artemov
16	Zur Deutung der intuitionistischen Logik - Kolmogoroff - 1932
11	Logic of Proofs - Artemov - 1994
11	Arithmetical necessity, provability and intuitionistic logic - Goldblatt - 1978
10	Knowledge: Undefeated justified true belief - Lehrer, Paxson - 1969
8	Logic of knowledge with justifications - Artemov, Kazakov, et al. - 1999
8	Semantics and tableaus for LPS4 - Fitting - 2004
8	On superintuitionistic logics as fragments of proof logic extensions - Muravitsky - 1986
8	Reflections on epistemic logic - Benthem - 1991
7	Kolmogorov and Gödel’s approach to intuitionistic logic: current developments - Artemov - 2004
7	A semantics for the logic of proofs - Fitting - 2003
6	Kolmogorov logic of problems and a provability interpretation of intuitionistic logic - Artemov - 1990
6	Logic of knowledge with justifications from the provability perspective - Artemov, Nogina - 2004
6	On the logic of proofs - Brezhnev - 2001
5	Logic of proofs and provability - Yavorskaya - 2002
4	Externalist Theories of Empirical Knowledge - Bonjour - 1980
4	A logic for explicit knowledge - Fitting
4	Resource-bounded knowledge. In Theoretical Aspects of Reasoning about Knowledge - Moses - 1988
3	Magari algebras,” Fourteenth AllUnion Algebra Conf., Abstract part 2 - Muravitsky - 1977
3	Logic of proofs with the strong provability operator - Nogina - 1994
3	Grzegorczyk logic with arithmetical proof operators - Nogina - 1996
2	Knowledge, Belief and Subjective Probability - Lenzen - 2003
2	Provability Logic with Operations on Proofs - Sidon - 1997
1	Active Agents. JoLLI - The - Hendricks - 2003
1	On Logic of Proofs and Provability. To appear in The Bulletin of Symbolic Logic - Nogina - 2005