Decidable and undecidable logics with a binary modality
From MaRDI portal
Publication:1909606
DOI10.1007/BF01049412zbMath0840.03014OpenAlexW2031411300MaRDI QIDQ1909606
András Simon, Ágnes Kurucz, Ildikó Sain, Istvan Németi
Publication date: 1 July 1996
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01049412
surveydecidabilityrelation algebraalgebraic logicmodal logicsBoolean algebras with operatorsdynamic logicsaction algebrasArrow logicsbinary modality
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items (13)
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras ⋮ Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition ⋮ Undecidability of Propositional Separation Logic and Its Neighbours ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Categorial Grammars and Their Logics ⋮ Relation algebras can tile ⋮ Cut Elimination for Shallow Modal Logics ⋮ Developing bounded reasoning ⋮ Unnamed Item ⋮ On Temporal and Separation Logics ⋮ Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition ⋮ Amalgamation in relation algebras ⋮ Extensions of Lambek Calculi
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cylindric algebras. Part II
- A note on the tense logic of dominoes
- Some sufficient conditions for the representability of relation algebras
- The word problem for cancellation semigroups with zero
- Decidability of Relation Algebras with Weakened Associativity
- Algebraizable logics
- The join of equational theories
- Translation Methods for Non-Classical Logics: An Overview
- Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
- Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators
This page was built for publication: Decidable and undecidable logics with a binary modality
