Uniform and non uniform strategies for tableaux calculi for modal logics (Q4835516): Difference between revisions

@@ Property / describes a project that uses @@
+Minlog
@@ Property / describes a project that uses: Minlog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / 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.1995.10510844
+Normal rank
@@ Property / OpenAlex ID @@
+W2005146745
@@ Property / OpenAlex ID: W2005146745 / rank @@
+Normal rank
@@ Property / cites work @@
+Strategies for modal resolution: Results and problems
+Normal rank
@@ Property / cites work @@
+Q3327746
@@ Property / cites work: Q3327746 / rank @@
+Normal rank
@@ Property / cites work @@
+TABLEAUX: A general theorem prover for modal logics
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal tableaux
@@ Property / cites work: First-order modal tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992823
@@ Property / cites work: Q3992823 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary closure-algebraic operations that are functionally complete
+Normal rank
@@ Property / cites work @@
+Nonmonotonic Logic II
@@ Property / cites work: Nonmonotonic Logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Methods for Automated Theorem Proving in Nonclassical Logics
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+A tableau-like proof procedure for normal modal logics
+Normal rank
@@ Property / cites work @@
+Application of modal logic to programming
@@ Property / cites work: Application of modal logic to programming / rank @@
+Normal rank
@@ Property / cites work @@
+Modal tableau calculi and interpolation
@@ Property / cites work: Modal tableau calculi and interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on G.J. Massey's closure-algebraic operation
@@ Property / cites work: Note on G.J. Massey's closure-algebraic operation / rank @@
+Normal rank