The following pages link to Two-dimensional modal logic (Q5921595):
Displaying 50 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] (Q383047) (← links)
- Prior on an insolubilium of Jean Buridan (Q395588) (← links)
- On possible worlds with modal parts. A semantics for modal interaction (Q484200) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Axiomatization of modal logic squares with distinguished diagonal (Q650277) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Agential free choice (Q830373) (← links)
- Multimodal logics of products of topologies (Q861569) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- The logic of viewpoints (Q1060205) (← links)
- The domino relation: Flattening a two-dimensional logic (Q1120562) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- Quantifiers as modal operators (Q1150594) (← links)
- Ontologies for plane, polygonal mereotopology (Q1381436) (← links)
- All normal extensions of S5-squared are finitely axiomatizable (Q1770622) (← links)
- Actuality, tableaux, and two-dimensional modal logics (Q1797901) (← links)
- Combining temporal logic systems (Q1815427) (← links)
- Dynamic squares (Q1902558) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- Predicate metric tense logic for `now' and `then' (Q1947028) (← links)
- Propositional quantification in bimodal S5 (Q2055931) (← links)
- `Now' and `then' in tense logic (Q2271188) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- A logic for epistemic two-dimensional semantics (Q2441758) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Worlds and times (Q2505129) (← links)
- On squares of modal logics with additional connectives (Q2510775) (← links)
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation (Q2568340) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Necessarily Maybe: Quantifiers, Modality and Vagueness (Q3299534) (← links)
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
- Undecidability of modal and intermediate first-order logics with two individual variables (Q4276022) (← links)
- On axiomatising products of Kripke frames (Q4508270) (← links)
- On modal logics between<b>K × K × K</b>and<b>S5 × S5 × S5</b> (Q4532612) (← links)
- Decidability of cylindric set algebras of dimension two and first-order logic with two variables (Q4948527) (← links)
- A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY (Q5046604) (← links)
- (Q5090984) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- On the Essential Flatness of Possible Worlds (Q5259660) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
- Two-dimensional modal logic (Q5906166) (← links)
- A two-dimensional logic for diagonalization and the a priori (Q6088589) (← links)
