Pages that link to "Item:Q1703280"
From MaRDI portal
The following pages link to Strong decidability and strong recognizability (Q1703280):
Displaying 9 items.
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- Hybrid extensions of the minimal logic (Q820493) (← links)
- Recognizability of all WIP-minimal logics (Q1642315) (← 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)
- Perceptibility in pre-Heyting logics (Q2200986) (← links)
- Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922) (← links)
