Informatica logo


Login Register

  1. Home
  2. Issues
  3. Volume 25, Issue 4 (2014)
  4. Decidability of Logic of Correlated Know ...

Informatica

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

Decidability of Logic of Correlated Knowledge
Volume 25, Issue 4 (2014), pp. 541–550
Haroldas Giedra   Jūratė Sakalauskaitė   Romas Alonderis  

Authors

 
Placeholder
https://doi.org/10.15388/Informatica.2014.28
Pub. online: 1 January 2014      Type: Article     

Received
1 January 2014
Accepted
1 December 2014
Published
1 January 2014

Abstract

Abstract
Terminating procedure GS-LCK-PROC of the proof search in the sequent calculus GS-LCK of logic of correlated knowledge is presented in this paper. Also decidability of logic of correlated knowledge is proved, where GS-LCK-PROC is a decision procedure.

Related articles PDF XML
Related articles PDF XML

Copyright
Vilnius University

Keywords
logic of correlated knowledge decidability decision procedure proof system sequent calculus

Metrics (since January 2020)
3

Article info
views

0

Full article
views

367

PDF
downloads

169

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