Focused and Synthetic Nested Sequents (Q2811354): Difference between revisions

@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Focused Natural Deduction
@@ Property / cites work: Focused Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Deep sequent systems for modal logic
@@ Property / cites work: Deep sequent systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing Strategies in the Sequent Calculus of Synthetic Connectives
+Normal rank
@@ Property / cites work @@
+Q2915680
@@ Property / cites work: Q2915680 / rank @@
+Normal rank
@@ Property / cites work @@
+A multi-focused proof system isomorphic to expansion proofs
+Normal rank
@@ Property / cites work @@
+Modular Focused Proof Systems for Intuitionistic Modal Logics
+Normal rank
@@ Property / cites work @@
+A logical characterization of forward and backward chaining in the inverse method
+Normal rank
@@ Property / cites work @@
+Prefixed tableaus and nested sequents
@@ Property / cites work: Prefixed tableaus and nested sequents / rank @@
+Normal rank
@@ Property / cites work @@
+Q3414345
@@ Property / cites work: Q3414345 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free sequent calculi for some tense logics
@@ Property / cites work: Cut-free sequent calculi for some tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
+Normal rank
@@ Property / cites work @@
+Proof Search in Nested Sequent Calculi
@@ Property / cites work: Proof Search in Nested Sequent Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Q4636304
@@ Property / cites work: Q4636304 / rank @@
+Normal rank
@@ Property / cites work @@
+Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Focused Labeled Proof Systems for Modal Logic
@@ Property / cites work: Focused Labeled Proof Systems for Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Method of Tree-Hypersequents for Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Structural Focalization
@@ Property / cites work: Structural Focalization / rank @@
+Normal rank
@@ Property / cites work @@
+Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
+Normal rank
@@ Property / cites work @@
+Focusing and higher-order abstract syntax
@@ Property / cites work: Focusing and higher-order abstract syntax / rank @@
+Normal rank