A linear logic framework for multimodal logics (Q5889307): 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 @@
+On structuring proof search for first order linear logic
+Normal rank
@@ Property / cites work @@
+Formalized meta-theory of sequent calculi for linear logics
+Normal rank
@@ Property / cites work @@
+An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
+Normal rank
@@ Property / cites work @@
+Parametric higher-order abstract syntax for mechanized semantics
+Normal rank
@@ Property / cites work @@
+A formally verified cut-elimination procedure for linear nested sequents for tense logic
+Normal rank
@@ Property / cites work @@
+Q4282602
@@ Property / cites work: Q4282602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721196
@@ Property / cites work: Q2721196 / rank @@
+Normal rank
@@ Property / cites work @@
+A focused linear logical framework and its application to metatheory of object logics
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of (linear) exponentials based on extended sequents
+Normal rank
@@ Property / cites work @@
+FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC
+Normal rank
@@ Property / cites work @@
+Subexponentials in non-commutative linear logic
@@ Property / cites work: Subexponentials in non-commutative linear logic / 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 @@
+Linear Nested Sequents, 2-Sequents and Hypersequents
+Normal rank
@@ Property / cites work @@
+A uniform framework for substructural logics with modalities
+Normal rank
@@ Property / cites work @@
+Modularisation of Sequent Calculi for Normal and Non-normal Modalities
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Q5111322
@@ Property / cites work: Q5111322 / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Darstellung der Intuitionistischen Logik in der Klassischen
+Normal rank
@@ Property / cites work @@
+A modal view of linear logic
@@ Property / cites work: A modal view of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A formal framework for specifying sequent calculus proof systems
+Normal rank
@@ Property / cites work @@
+From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+On subexponentials, focusing and modalities in concurrent systems
+Normal rank
@@ Property / cites work @@
+An extended framework for specifying and reasoning about proof systems
+Normal rank
@@ Property / cites work @@
+Quati: An Automated Tool for Proving Permutation Lemmas
+Normal rank
@@ Property / cites work @@
+Proving structural properties of sequent systems in rewriting logic
+Normal rank
@@ Property / cites work @@
+A fresh view of linear logic as a logical framework
+Normal rank
@@ Property / cites work @@
+Structural cut elimination. I: Intuitionistic and classical logic
+Normal rank
@@ Property / cites work @@
+A semantical view of proof systems
@@ Property / cites work: A semantical view of proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+Sequentialising nested systems
@@ Property / cites work: Sequentialising nested systems / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+The Method of Tree-Hypersequents for Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing focused linear logic in Coq
@@ Property / cites work: Mechanizing focused linear logic in Coq / rank @@
+Normal rank