IK is the IK-bisimulation-invariant fragment of intuitionistic first-order logic, accompanied by a Hennessy-Milner theorem and intuitionistic analogues of Los's theorem, elementary embeddings, and countable saturation.
Journal of Logic and Compu- tation7(4), pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Complete classification of additive and normal formulas in modal logics K, GL, Grz, S4, and S5 for diamond interpretations, with parameter versions for K, GL, and S5.
citing papers explorer
-
Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic
IK is the IK-bisimulation-invariant fragment of intuitionistic first-order logic, accompanied by a Hennessy-Milner theorem and intuitionistic analogues of Los's theorem, elementary embeddings, and countable saturation.
-
On Interpretations of Normal Modal Logics
Complete classification of additive and normal formulas in modal logics K, GL, Grz, S4, and S5 for diamond interpretations, with parameter versions for K, GL, and S5.