Decidable and undecidable logics with a binary modality (Q1909606): Difference between revisions

@@ Property / author @@
-Istvan Németi
@@ Property / author: Istvan Németi / rank @@
-Normal rank
@@ Property / author @@
+Istvan Németi
@@ Property / author: Istvan Németi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4305489
@@ Property / cites work: Q4305489 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478385
@@ Property / cites work: Q3478385 / rank @@
+Normal rank
@@ Property / cites work @@
+The word problem for cancellation semigroups with zero
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
+Normal rank
@@ Property / cites work @@
+Some sufficient conditions for the representability of relation algebras
+Normal rank
@@ Property / cites work @@
+Q4873974
@@ Property / cites work: Q4873974 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Relation Algebras with Weakened Associativity
+Normal rank
@@ Property / cites work @@
+Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators
+Normal rank
@@ Property / cites work @@
+Translation Methods for Non-Classical Logics: An Overview
+Normal rank
@@ Property / cites work @@
+The join of equational theories
@@ Property / cites work: The join of equational theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the tense logic of dominoes
@@ Property / cites work: A note on the tense logic of dominoes / rank @@
+Normal rank