Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Semilattices with closure
@@ Property / cites work: Semilattices with closure / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Logic for Life Science Ontologies
@@ Property / cites work: Mathematical Logic for Life Science Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank
@@ Property / cites work @@
+Q5494229
@@ Property / cites work: Q5494229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419872
@@ Property / cites work: Q5419872 / rank @@
+Normal rank
@@ Property / cites work @@
+On the reflection calculus with partial conservativity operators
+Normal rank
@@ Property / cites work @@
+On the positive fragment of the polymodal provability logic GLP
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3085172
@@ Property / cites work: Q3085172 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of the closed fragment of Japaridze's provability logic
+Normal rank
@@ Property / cites work @@
+Positive provability logic for uniform reflection principles
+Normal rank
@@ Property / cites work @@
+A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\)
+Normal rank
@@ Property / cites work @@
+A Note on Strictly Positive Logics and Word Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4578043
@@ Property / cites work: Q4578043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0001434618050322
+Normal rank
@@ Property / OpenAlex ID @@
+W2811093937
@@ Property / OpenAlex ID: W2811093937 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129647256
@@ Property / Wikidata QID: Q129647256 / rank @@
+Normal rank