Pages that link to "Item:Q1399966"
From MaRDI portal
The following pages link to A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966):
Displayed 1 item.
The following pages link to A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966):
Displayed 1 item.