Pages that link to "Item:Q4521286"
From MaRDI portal
The following pages link to Strongly decidable properties of modal and intuitionistic calculi (Q4521286):
Displaying 9 items.
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- Strong decidability and strong recognizability (Q1703280) (← links)
- Strong computability of slices over the logic GL (Q1707569) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- Recognizability in pre-Heyting and well-composed logics (Q2003246) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- LC and Its Pretabular Relatives (Q3305421) (← links)
