HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) (Q5049016): Difference between revisions

@@ Property / cites work @@
+Knowledge means ‘<i>all</i>’, belief means ‘<i>most</i>’
+Normal rank
@@ Property / cites work @@
+lean\(T^ AP\): Lean tableau-based deduction
@@ Property / cites work: lean\(T^ AP\): Lean tableau-based deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Countermodel construction via optimal hypersequent calculi for non-normal modal logics
+Normal rank
@@ Property / cites work @@
+Q5224565
@@ Property / cites work: Q5224565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942680
@@ Property / cites work: Q4942680 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based decision procedures for classical modal logics
+Normal rank
@@ Property / cites work @@
+Sequent calculi and decision procedures for weak modal systems
+Normal rank
@@ Property / cites work @@
+Combining monotone and normal modal logic in nested sequents -- with countermodels
+Normal rank
@@ Property / cites work @@
+Neighborhood semantics for modal logic
@@ Property / cites work: Neighborhood semantics for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Coalitional Power in Games
@@ Property / cites work: A Modal Logic for Coalitional Power in Games / rank @@
+Normal rank