Unification in epistemic logics (Q4586223): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2751796420
@@ Property / OpenAlex ID: W2751796420 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in modal and description logics
@@ Property / cites work: Unification in modal and description logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau Method for Checking Rule Admissibility in S4
+Normal rank
@@ Property / cites work @@
+Q4438092
@@ Property / cites work: Q4438092 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518429
@@ Property / cites work: Q3518429 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifiability in extensions of K4
@@ Property / cites work: Unifiability in extensions of K4 / rank @@
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / rank @@
+Normal rank
@@ Property / cites work @@
+Filtering unification and most general unifiers in modal logic
+Normal rank
@@ Property / cites work @@
+Using the Universal Modality: Gains and Questions
@@ Property / cites work: Using the Universal Modality: Gains and Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Blending margins: the modal logic K has nullary unification type
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438101
@@ Property / cites work: Q4438101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4489067
@@ Property / cites work: Q4489067 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the unification and admissibility problems for modal and description logics
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4586223