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.
Intuitionistic epistemic logic with distributed knowledge
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.