Pages that link to "Item:Q1317616"
From MaRDI portal
The following pages link to The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC (Q1317616):
Displayed 1 item.
The following pages link to The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC (Q1317616):
Displayed 1 item.