Pages that link to "Item:Q1909606"
From MaRDI portal
The following pages link to Decidable and undecidable logics with a binary modality (Q1909606):
Displaying 12 items.
- Developing bounded reasoning (Q1006510) (← 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)
- 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)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5111325) (← links)
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208) (← links)
