Pages that link to "Item:Q4007156"
From MaRDI portal
The following pages link to Using the Universal Modality: Gains and Questions (Q4007156):
Displaying 35 items.
- Topological Subset Space Models for Public Announcements (Q3299575) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
- A Logic of Knowing How (Q3457721) (← links)
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G (Q3522050) (← links)
- Decidability: theorems and admissible rules (Q3643317) (← links)
- PDL with negation of atomic programs (Q3647227) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- Axiomatizing Distance Logics (Q3647302) (← links)
- The modal logic of inequality (Q4032643) (← links)
- Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
- « Everywhere » and « here » (Q4531583) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Unification in epistemic logics (Q4586223) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- Completeness and Complexity of Multi-modal CTL (Q4982125) (← links)
- (Q5015266) (← links)
- On the Semilattice of Modal Operators and Decompositions of the Discriminator (Q5015971) (← links)
- (Q5018503) (← links)
- (Q5018521) (← links)
- DYNAMIC HYPERINTENSIONAL BELIEF REVISION (Q5024508) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF (Q5099779) (← links)
- (Q5101338) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)
- THE BAIRE CLOSURE AND ITS LOGIC (Q6123578) (← links)
