Nested sequent calculi for intuitionistic grammar logics admit uniform cut-elimination via a shift rule and validity is undecidable.
Intuitionistic modal logic: A 15-year retrospective.Journal of Logic and Computation, 28(5): 873–882, 06 2015
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Axiomatizes iEx-logic as intersection of intuitionistic logic and orthomodular logic with Sasaki hook, and proves the lattice of its extensions is the product of intermediate logics and orthomodular logics lattices.
citing papers explorer
-
Conditionals and Modalities in Constructive Quantum Logics
Axiomatizes iEx-logic as intersection of intuitionistic logic and orthomodular logic with Sasaki hook, and proves the lattice of its extensions is the product of intermediate logics and orthomodular logics lattices.