On a graph approach to modal logics (Q281163): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6578791
@@ Property / zbMATH DE Number: 6578791 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logics
@@ Property / zbMATH Keywords: modal logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+graph calculus
@@ Property / zbMATH Keywords: graph calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Kripke semantics
@@ Property / zbMATH Keywords: Kripke semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+special modalities
@@ Property / zbMATH Keywords: special modalities / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+refutation
@@ Property / zbMATH Keywords: refutation / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317868
@@ Property / Wikidata QID: Q113317868 / 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.1016/j.entcs.2014.06.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2062728934
@@ Property / OpenAlex ID: W2062728934 / rank @@
+Normal rank
@@ Property / cites work @@
+PDL with intersection of programs: a complete axiomatization
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs with graphs
@@ Property / cites work: Proofs with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with Graphs
@@ Property / cites work: Reasoning with Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On graph reasoning
@@ Property / cites work: On graph reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5858676
@@ Property / cites work: Q5858676 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:281163