The following pages link to (Q4218020):
Displaying 12 items.
- Completeness and correspondence in Chellas-Segerberg semantics (Q742554) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- On logics with coimplication (Q1272827) (← links)
- Adding a temporal dimension to a logic system (Q1314287) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- The price of universality (Q1815426) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
- Completeness and Complexity of Multi-modal CTL (Q4982125) (← links)
