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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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

Syntactic awareness in logical dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.
The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.
Natural deduction and semantic models of justification logic in the proof assistant Coq.Jesús Mauricio Andrade Guzmán & Francisco Hernández Quiroz - forthcoming - Logic Journal of the IGPL.
Linear temporal justification logics with past and future time modalities.Meghdad Ghari - 2023 - Logic Journal of the IGPL 31 (1):1-38.
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.
Formal Models of Awareness.Thomas Ågotnes & Natasha Alechina - 2014 - Journal of Logic, Language and Information 23 (2):105-106.
Realizations and LP.Melvin Fitting - 2010 - Annals of Pure and Applied Logic 161 (3):368-387.
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
Representing Imperfect Information of Procedures with Hyper Models.Y. Wang - 2015 - In Mamata Banerjee & S. N. Krishna (eds.), Logic and Its Applications. ICLA 2015. Lecture Notes in Computer Science, vol 8923. Springer.
A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons.Meghdad Ghari - 2023 - Artificial Intelligence and Law 31:1-43.

Analytics

Added to PP
2015-12-21

Downloads
32 (#714,285)

6 months
8 (#613,944)

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. Cham, Switzerland: Springer International Publishing. pp. 289-337.

Add more citations

References found in this work

No references found.

Add more references