Pages that link to "Item:Q1372357"
From MaRDI portal
The following pages link to Simulation and transfer results in modal logic -- a survey (Q1372357):
Displaying 15 items.
- An NP-complete fragment of fibring logic (Q905999) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Combinations and completeness transfer for quantified modal logics (Q3119165) (← links)
- Simulating polyadic modal logics by monadic ones (Q3160548) (← links)
- A Logic of Knowing How (Q3457721) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- Completeness and Complexity of Multi-modal CTL (Q4982125) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators (Q5477453) (← links)
- Modal logics that need very large frames (Q5937849) (← links)