Justifications, awareness and epistemic dynamics

In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 307-318 (2013)
  Copy   BIBTEX

Abstract

The paper introduces a new kind of models for the logic of proofs LP, the group justification models. While being an elaboration of Fitting models, the group justification models are a special case of the models of general awareness. Soundness and completeness results of LP with respect to the new semantics are established. The paper also offers an interpretation of the group models, which pertains to awareness and group epistemic dynamics.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.
Syntactic awareness in logical dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.
Formal Models of Awareness.Thomas Ågotnes & Natasha Alechina - 2014 - Journal of Logic, Language and Information 23 (2):105-106.
Information, awareness and substructural logics.Igor Sedlár - 2013 - In Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.), Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071). Springer. pp. 266-281.
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
Realizations and LP.Melvin Fitting - 2010 - Annals of Pure and Applied Logic 161 (3):368-387.
Modal-Epistemic Arithmetic and the problem of quantifying in.Jan Heylen - 2013 - Synthese 190 (1):89-111.
Justifications for common knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
Relating logics of justification and evidence.Igor Sedlár - 2014 - In Punčochář Vít & Dančák Michal (eds.), The Logica Yearbook 2013. College Publications. pp. 207-222.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.

Analytics

Added to PP
2015-12-21

Downloads
23 (#705,674)

6 months
9 (#355,374)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Igor Sedlár
Czech Academy of Sciences

Citations of this work

Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.

Add more citations

References found in this work

No references found.

Add more references