A linear logic framework for multimodal logics

DOI10.1017/S0960129522000366OpenAlexW4309783737MaRDI QIDQ5889307FDOQ5889307

Authors: Bruno Xavier, Carlos Olarte, Elaine Pimentel 

Publication date: 19 April 2023

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129522000366

Recommendations

• A fresh view of linear logic as a logical framework
• An extended framework for specifying and reasoning about proof systems
• A uniform framework for substructural logics with modalities
• On the Specification of Sequent Systems
• A framework for proof systems

zbMATH Keywords

linear logiccut eliminationmultimodal logicslinear-nested systems

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Nominal logic, a first order theory of names and binding
• Light linear logic
• Title not available (Why is that?)
• Focusing and polarization in linear, intuitionistic, and classical logics
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Title not available (Why is that?)
• Cut-free sequent calculi for some tense logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic Programming with Focusing Proofs in Linear Logic
• Parametric higher-order abstract syntax for mechanized semantics
• From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
• A framework for proof systems
• A uniform framework for substructural logics with modalities
• Title not available (Why is that?)
• Structural cut elimination. I: Intuitionistic and classical logic
• Eine Darstellung der Intuitionistischen Logik in der Klassischen
• Modularisation of sequent calculi for normal and non-normal modalities
• A formal framework for specifying sequent calculus proof systems
• On structuring proof search for first order linear logic
• An analysis of (linear) exponentials based on extended sequents
• A modal view of linear logic
• A semantical view of proof systems
• Proving structural properties of sequent systems in rewriting logic
• An extended framework for specifying and reasoning about proof systems
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Formalized meta-theory of sequent calculi for linear logics
• An adequate compositional encoding of bigraph structure in linear logic with subexponentials
• Formalizing the meta-theory of first-order predicate logic
• Mechanizing focused linear logic in Coq
• Subexponentials in non-commutative linear logic
• A fresh view of linear logic as a logical framework
• Quati: an automated tool for proving permutation lemmas
• On subexponentials, focusing and modalities in concurrent systems
• A formally verified cut-elimination procedure for linear nested sequents for tense logic
• Sequentialising nested systems
• A focused linear logical framework and its application to metatheory of object logics

Cited In (2)

• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
• A decidable multi-modal logic of context

Uses Software

• HYBRID
• Quati
• GitHub

This page was built for publication: A linear logic framework for multimodal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5889307)