The following pages link to (Q4081211):
Displaying 50 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837) (← links)
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Price of privacy (Q504512) (← links)
- Logic of confidence (Q514597) (← links)
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
- Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA (Q631077) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Expressive power and incompleteness of propositional logics (Q965859) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- Algebraic and relational semantics for tense logics (Q1162503) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Modal correspondence for models (Q1267083) (← links)
- Modal logic with names (Q1310624) (← links)
- On the canonicity of Sahlqvist identities (Q1338478) (← links)
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- A theory of hypermodal logics: Mode shifting in modal logic (Q1610618) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- The price of universality (Q1815426) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← links)
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory (Q1959225) (← links)
- A propositional dynamic logic with qualitative probabilities (Q1961927) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- Weighted modal logic in epistemic and deontic contexts (Q2148817) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- Modal MTL-algebras (Q2445422) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- (Q3121529) (← links)
- From DEL to EDL: Exploring the Power of Converse Events (Q3524930) (← links)
- Towards incorporating background theories into quantifier elimination (Q3643319) (← links)
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes (Q3647203) (← links)
