The following pages link to Multi-dimensional modal logic (Q1379287):
Displaying 50 items.
- Intricate axioms as interaction axioms (Q497427) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Relative expressive power of navigational querying on graphs (Q528686) (← links)
- Dynamic extensions of arrow logic (Q598299) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Squares in fork arrow logic (Q1402582) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Taming logic (Q1909607) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- On the subtle nature of a simple logic of the hide and seek game (Q2148792) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs (Q2254638) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- The grammar of quantification and the fine structure of interpretation contexts (Q2443334) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← links)
- Hybrid logics: characterization, interpolation and complexity (Q2758042) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- Putting right the wording and the proof of the Truth Lemma for<i>APAL</i> (Q4586133) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- A Completeness Result for Relation Algebra with Binders (Q4916210) (← links)
- Geometrical representation theorems for cylindric-type algebras (Q5215389) (← links)
- Modal Logics with Hard Diamond-Free Fragments (Q5283414) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
- On matrices and \(K\)-relations (Q5918484) (← links)
- Modal logics of succession for 2-dimensional integral spacetime (Q5935784) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- A simple logic of the hide and seek game (Q6057624) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
