The following pages link to Combinations of modal logics (Q1604670):
Displaying 15 items.
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Zooming in, zooming out (Q676176) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Multi-dimensional modal logic (Q1379287) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Editors' introduction to the special issue on combining logics (Q1815423) (← links)
- Knowledge and approximations: a formal study under the perspective of information systems and rough set theory (Q2663553) (← links)
- The decision problem for combined modal logics (Q2736218) (← links)
- Bringing them all together (Q2772879) (← links)
- Structuralist modals and the combination of logics (Q3119164) (← links)
- Combinations and completeness transfer for quantified modal logics (Q3119165) (← links)
- Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)
- Quantificational modal logic with sequential Kripke semantics (Q3647226) (← links)
- (Q5692434) (← links)
- Logics for Temporal Information Systems in Rough Set Theory (Q5875942) (← links)