Pages that link to "Item:Q1909606"
From MaRDI portal
The following pages link to Decidable and undecidable logics with a binary modality (Q1909606):
Displaying 19 items.
- Developing bounded reasoning (Q1006510) (← links)
- The decidable normal modal logics are not recursively enumerable (Q1072542) (← links)
- Decidability of some classes of modal logic (Q1873248) (← links)
- Relation algebras can tile (Q1961863) (← links)
- Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition (Q2817938) (← links)
- Cut Elimination for Shallow Modal Logics (Q3010370) (← links)
- A Universally Defined Undecidable Unimodal Logic (Q3088054) (← links)
- Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary R (Q3185766) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (Q3454121) (← links)
- Amalgamation in relation algebras (Q4212916) (← links)
- Highway to the Danger Zone (Q4323004) (← links)
- On Binary Computation Structures (Q4336700) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208) (← links)
- On undecidability of the propositional logic of an associative binary modality (Q6617171) (← links)
