Informatica logo


Login Register

  1. Home
  2. Issues
  3. Volume 17, Issue 1 (2006)
  4. Sequent Calculi for Temporal Logics of C ...

Informatica

Information Submit your article For Referees Help ATTENTION!
  • Article info
  • Related articles
  • Cited by
  • More
    Article info Related articles Cited by

Sequent Calculi for Temporal Logics of Common Knowledge and Belief
Volume 17, Issue 1 (2006), pp. 85–94
Jūratė Sakalauskaitė  

Authors

 
Placeholder
https://doi.org/10.15388/Informatica.2006.125
Pub. online: 1 January 2006      Type: Research Article     

Received
1 January 2005
Published
1 January 2006

Abstract

In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators “next” and “until”. In addition the first logic contains an indexed set of unary modal operators “agent i knows”, the second one contains an indexed set of unary modal operators “agent i believes”. Also the first logic contains the modality of common knowledge and the second one contains the modality of common belief. For these logics we present sequent calculi with an analytic cut rule. The soundness and completeness for these calculi are proved.

Related articles Cited by PDF XML
Related articles Cited by PDF XML

Copyright
No copyright data available.

Keywords
agents temporal logic common knowledge common belief sequent calculus analytic cut

Metrics
since January 2020
781

Article info
views

0

Full article
views

509

PDF
downloads

200

XML
downloads

Export citation

Copy and paste formatted citation
Placeholder

Download citation in file


Share


RSS

INFORMATICA

  • Online ISSN: 1822-8844
  • Print ISSN: 0868-4952
  • Copyright © 2023 Vilnius University

About

  • About journal

For contributors

  • OA Policy
  • Submit your article
  • Instructions for Referees
    •  

    •  

Contact us

  • Institute of Data Science and Digital Technologies
  • Vilnius University

    Akademijos St. 4

    08412 Vilnius, Lithuania

    Phone: (+370 5) 2109 338

    E-mail: informatica@mii.vu.lt

    https://informatica.vu.lt/journal/INFORMATICA
Powered by PubliMill  •  Privacy policy