Polynomial semantics for modal logics (Q5243399): Difference between revisions

@@ Property / describes a project that uses @@
+PolyBoRi
@@ Property / describes a project that uses: PolyBoRi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/11663081.2019.1676004
+Normal rank
@@ Property / OpenAlex ID @@
+W2980859210
@@ Property / OpenAlex ID: W2980859210 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4305609
@@ Property / cites work: Q4305609 / rank @@
+Normal rank
@@ Property / cites work @@
+On polynomial semantics for propositional logics
@@ Property / cites work: On polynomial semantics for propositional logics / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial ring calculus for modalities
@@ Property / cites work: Polynomial ring calculus for modalities / rank @@
+Normal rank
@@ Property / cites work @@
+POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
+Normal rank
@@ Property / cites work @@
+Polybori: A framework for Gröbner-basis computations with Boolean polynomials
+Normal rank
@@ Property / cites work @@
+The method of polynomial ring calculus and its potentialities
+Normal rank
@@ Property / cites work @@
+Multi-valued logic and Gröbner bases with applications to modal logic
+Normal rank
@@ Property / cites work @@
+Q3413659
@@ Property / cites work: Q3413659 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial model for logics with a prime power number of truth values
+Normal rank
@@ Property / cites work @@
+A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
+Normal rank
@@ Property / cites work @@
+Boolean Gröbner bases
@@ Property / cites work: Boolean Gröbner bases / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5243399