Decidable and undecidable logics with a binary modality

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

zbMATH Keywords

surveydecidabilityrelation algebraalgebraic logicmodal logicsBoolean algebras with operatorsdynamic logicsaction algebrasArrow logicsbinary modality

Mathematics Subject Classification ID

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