ICK is equipped with sound and complete axiomatizations and cyclic sequent calculi, shown to have the finite model property and to be decidable in exponential time.
The intuitionistic temporal logic of dynamical systems.Logical Methods in Computer Science, 14(3):1–35
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Intuitionistic Common Knowledge
ICK is equipped with sound and complete axiomatizations and cyclic sequent calculi, shown to have the finite model property and to be decidable in exponential time.