Frame constructions, truth invariance and validity preservation in many-valued modal logic (Q3647234): Difference between revisions

@@ 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.3166/jancl.15.367-388
+Normal rank
@@ Property / OpenAlex ID @@
+W2045773529
@@ Property / OpenAlex ID: W2045773529 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical modal logics and ultrafilter extensions
@@ Property / cites work: Canonical modal logics and ultrafilter extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaus for many-valued modal logic
@@ Property / cites work: Tableaus for many-valued modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic polymodal logic: a survey
@@ Property / cites work: Algebraic polymodal logic: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+On the Unusual Effectiveness of Logic in Computer Science
+Normal rank
@@ Property / cites work @@
+Many-valued reflexive autoepistemic logic
@@ Property / cites work: Many-valued reflexive autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3647234