A simple tableau system for the logic of elsewhere (Q4645235): Difference between revisions

@@ Property / describes a project that uses @@
+TABLEAUX
@@ Property / describes a project that uses: TABLEAUX / 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.1007/3-540-61208-4_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1582676071
@@ Property / OpenAlex ID: W1582676071 / rank @@
+Normal rank
@@ Property / cites work @@
+TABLEAUX: A general theorem prover for modal logics
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Logical consequence in modal logic: Natural deduction in S5
+Normal rank
@@ Property / cites work @@
+Uniform and non uniform strategies for tableaux calculi for modal logics
+Normal rank
@@ Property / cites work @@
+Modal trees for T and S5
@@ Property / cites work: Modal trees for T and S5 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680806
@@ Property / cites work: Q3680806 / rank @@
+Normal rank
@@ Property / cites work @@
+What is an inference rule?
@@ Property / cites work: What is an inference rule? / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau system for propositional S5
@@ Property / cites work: A tableau system for propositional S5 / rank @@
+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 @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+Modal definability in enriched languages
@@ Property / cites work: Modal definability in enriched languages / rank @@
+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 @@
+Q3478385
@@ Property / cites work: Q3478385 / rank @@
+Normal rank
@@ Property / cites work @@
+The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Strongly analytic tableaux for normal modal logics
+Normal rank
@@ Property / cites work @@
+A tableau-like proof procedure for normal modal logics
+Normal rank
@@ Property / cites work @@
+Q5688814
@@ Property / cites work: Q5688814 / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free Gentzen-type system for the modal logic S5
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4645235