LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691): Difference between revisions

@@ Property / cites work @@
+A constructive analysis of <b>RM</b>
@@ Property / cites work: A constructive analysis of <b>RM</b> / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Q3837723
@@ Property / cites work: Q3837723 / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple Proof of Completeness and Cut-admissibility for Propositional Godel Logic
+Normal rank
@@ Property / cites work @@
+Q4412849
@@ Property / cites work: Q4412849 / rank @@
+Normal rank
@@ Property / cites work @@
+Editorial
@@ Property / cites work: Editorial / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for S5: The Methods of Cut Elimination
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / 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 @@
+TABLEAUX: A general theorem prover for modal logics
+Normal rank
@@ Property / cites work @@
+Q2721194
@@ Property / cites work: Q2721194 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Extensions of Display Calculi: A General Recipe
+Normal rank
@@ Property / cites work @@
+Hypersequent and display calculi -- a unified perspective
+Normal rank
@@ Property / cites work @@
+Sequent-systems for modal logic
@@ Property / cites work: Sequent-systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical reasoning for very expressive description logics
+Normal rank
@@ Property / cites work @@
+Q4323646
@@ Property / cites work: Q4323646 / rank @@
+Normal rank
@@ Property / cites work @@
+A labelled natural deduction system for linear temporal logic
+Normal rank
@@ Property / cites work @@
+Natural deduction, hybrid systems and modal logics
+Normal rank
@@ Property / cites work @@
+Q5413334
@@ Property / cites work: Q5413334 / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminability of cut in hypersequent calculi for some modal logics of linear frames
+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 @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+From Frame Properties to Hypersequent Rules in Modal Logics
+Normal rank
@@ Property / cites work @@
+Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
+Normal rank
@@ Property / cites work @@
+Q2721205
@@ Property / cites work: Q2721205 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / 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 @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
+Normal rank
@@ Property / cites work @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding the hypersequent calculus in the display calculus
+Normal rank
@@ Property / cites work @@
+Q5636857
@@ Property / cites work: Q5636857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457387
@@ Property / cites work: Q5457387 / rank @@
+Normal rank
@@ Property / cites work @@
+A deep inference system for the modal logic S5
@@ Property / cites work: A deep inference system for the modal logic S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5605873
@@ Property / cites work: Q5605873 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Determiners and logic
@@ Property / cites work: Determiners and logic / rank @@
+Normal rank
@@ Property / cites work @@
+Displaying the modal logic of consistency
@@ Property / cites work: Displaying the modal logic of consistency / rank @@
+Normal rank