Hybrid linear logic, revisited

DOI10.1017/S0960129518000439MaRDI QIDQ5236552zbMATH OpenOpenAlexWikidataFDO

Authors Kaustuv Chaudhuri, Carlos Olarte, Elaine Pimentel, J. Despeyroux

Publication date 9 October 2019

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

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

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Hybrid and subexponential linear logics
• A hybrid linear logic for constrained transition systems
• Specifying proof systems in linear logic with subexponentials
• On subexponentials, focusing and modalities in concurrent systems
• Hybridizing a logical framework

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• A concurrent constraint programming interpretation of access permissions
• A formal framework for specifying sequent calculus proof systems
• A framework for linear authorization logics
• A framework for proof systems
• A general proof system for modalities in concurrent constraint programming
• A hybrid linear logic for constrained transition systems
• A linear logical framework
• A logical framework for systems biology
• A proof theoretic study of soft concurrent constraint programming
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• An adequate compositional encoding of bigraph structure in linear logic with subexponentials
• An extended framework for specifying and reasoning about proof systems
• Classical and intuitionistic subexponential logics are equally expressive
• Foundations for reliable and flexible interactive multimedia scores
• Hybrid and subexponential linear logics
• Hybridizing a logical framework
• Linear logic
• Linear logic propositions as session types
• Logic Programming with Focusing Proofs in Linear Logic
• On subexponentials, focusing and modalities in concurrent systems
• Specifying proof systems in linear logic with subexponentials
• Subexponential concurrent constraint programming
• Symbolic model checking: \(10^{20}\) states and beyond
• Unification under a mixed prefix

Cited in

(9)

• A focused linear logical framework and its application to metatheory of object logics
• scientific article; zbMATH DE number 7649947 (Why is no real title available?)
• Hybrid and subexponential linear logics
• A hybrid linear logic for constrained transition systems
• Complexity and Succinctness Issues for Linear-Time Hybrid Logics
• scientific article; zbMATH DE number 7450001 (Why is no real title available?)
• scientific article; zbMATH DE number 786488 (Why is no real title available?)
• A subexponential view of domains in session types
• Higher-order syntax and saturation algorithms for hybrid logic

Describes a project that uses

Uses Software

• Alcove

This page was built for publication: Hybrid linear logic, revisited

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