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

Informatica


Cited by 2
Sequent Calculi for Temporal Logics of Common Knowledge and Belief

A sequent calculus for logic of knowledge and past time: Completeness and decidability
J. Sakalauskaitė
https://doi.org/10.1007/s10986-006-0033-z
Journal  Lithuanian Mathematical Journal Volume 46, Issue 3 (2006), p. 347
Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: Completeness and decidability
J. Sakalauskaitė
https://doi.org/10.1007/s10986-007-0019-5
Journal  Lithuanian Mathematical Journal Volume 47, Issue 3 (2007), p. 266


Share


RSS