Generalized Kripke Models for Epistemic Logic

@inproceedings{Voorbraak1992GeneralizedKM,
  title={Generalized Kripke Models for Epistemic Logic},
  author={Frans Voorbraak},
  booktitle={TARK},
  year={1992}
}
In this paper a generalization of Kripke models is proposed for systemizing the study of the many different epistemic notions that appear in the literature. The generalized Kripke models explicitly represent an agent's epistemic states to which the epistemic notions refer. Two central epistemic notions are identified: objective (S5) knowledge and rational introspective (KD45) belief. Their interaction is determined and a notion of justified true belief is explained in terms of them. The logic… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
11 Citations
11 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 11 references

Epistemologische Betrachtungen zu [$4,$5

  • W. Lenzen
  • 1979
Highly Influential
6 Excerpts

Modal Logic: An Introduction, Cambridge: Cambridge UP

  • B. Chellas
  • Dretske, F. 1981.
  • 1980
2 Excerpts

Epistemologische Betrachtungen zu [ S 4 , S 5 ]

  • W. Lenzen
  • Erkenntnis
  • 1979
2 Excerpts

Informal rigour and completeness proofs

  • G. Kreisel
  • Problems in the Philosophy of Mathematics , I…
  • 1967
1 Excerpt

Similar Papers

Loading similar papers…