Strongly decidable properties of modal and intuitionistic calculi
From MaRDI portal
Publication:4521286
DOI10.1093/jigpal/8.6.797zbMath0963.03004OpenAlexW1979564322MaRDI QIDQ4521286
Publication date: 19 December 2000
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/8.6.797
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (9)
Projective Beth property in extensions of Grzegorczyk logic ⋮ Strong decidability and strong recognizability ⋮ Strong computability of slices over the logic GL ⋮ LC and Its Pretabular Relatives ⋮ Slices and levels of extensions of the minimal logic ⋮ Recognizable and perceptible logics and varieties ⋮ Recognizability in pre-Heyting and well-composed logics ⋮ Definability and interpolation in non-classical logics ⋮ Constructive classifications of modal logics and extensions of minimal logic
This page was built for publication: Strongly decidable properties of modal and intuitionistic calculi
