Pages that link to "Item:Q2506825"
From MaRDI portal
The following pages link to A general method for proving decidability of intuitionistic modal logics (Q2506825):
Displayed 1 item.
The following pages link to A general method for proving decidability of intuitionistic modal logics (Q2506825):
Displayed 1 item.