The following pages link to Recognizable logics (Q887647):
Displaying 4 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)
