1. Home
  2. Issues
  3. Volume 18, Issue 1 (2007)
  4. Sequent Calculi for Branching Time Tempo ...

Informatica


Cited by 1
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief

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