Pages that link to "Item:Q2366361"
From MaRDI portal
The following pages link to Decidable modal logic with undecidable admissibility problem (Q2366361):
Displaying 8 items.
- On rules (Q266650) (← links)
- Complexity of admissible rules (Q868660) (← links)
- The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC (Q1317616) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- Canonical rules (Q3655251) (← links)
- The Context of Inference (Q5208107) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability (Q6487229) (← links)