Skip to main content
SpringerLink
Log in

Justifications, Awareness and Epistemic Dynamics

  • Conference paper
Logical Foundations of Computer Science (LFCS 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7734))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Artemov, S.: Operational modal logic. Technical report, Cornell University (1995)

    Google Scholar 

  2. Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7, 1–36 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  3. Artemov, S.: The logic of justification. The Review of Symbolic Logic 1, 477–513 (2008)

    Article  MATH  Google Scholar 

  4. Artemov, S.: Why do we need justification logic? In: van Benthem, J., Gupta, A., Pacuit, E. (eds.) Games, Norms and Reasons: Logic at the Crossroads, pp. 23–38. Springer, Dordrecht (2011)

    Chapter  Google Scholar 

  5. Artemov, S.: The ontology of justifications in the logical setting. Studia Logica 100, 17–30 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  6. Artemov, S., Nogina, E.: The topology of justification. Logic and Logical Philosophy 17, 59–71 (2008)

    MathSciNet  MATH  Google Scholar 

  7. van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)

    Book  MATH  Google Scholar 

  8. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2008)

    MATH  Google Scholar 

  9. Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34, 39–76 (1988)

    Article  MathSciNet  Google Scholar 

  10. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  11. Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132, 1–25 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  12. Fitting, M.: Reasoning with Justifications. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic IV, pp. 107–123. Springer, Dordrecht (2009)

    Google Scholar 

  13. Mkrtychev, A.: Models for the Logic of Proofs. In: Adian, S., Nerode, A. (eds.) LFCS 1997. LNCS, vol. 1234, pp. 266–275. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Philosophy, Slovak Academy of Sciences, Klemensova 19, 813 64, Bratislava, Slovak Republic

    Igor Sedlár

Authors
  1. Igor Sedlár
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science, CUNY Graduate Center, 365 Fifth Avenue, 10016, New York, NY, USA

    Sergei Artemov

  2. Department of Mathematics, Cornell University, 545 Malott Hall, 14853, Ithaca, NY, USA

    Anil Nerode

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sedlár, I. (2013). Justifications, Awareness and Epistemic Dynamics. In: Artemov, S., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2013. Lecture Notes in Computer Science, vol 7734. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35722-0_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35722-0_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35721-3

  • Online ISBN: 978-3-642-35722-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation