The following pages link to (Q4218020):
Displayed 9 items.
- \({\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)
- 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)