Hybrid linear logic, revisited

DOI10.1017/S0960129518000439zbMATH Open1456.03095OpenAlexW2939287701WikidataQ128007534 ScholiaQ128007534MaRDI QIDQ5236552FDOQ5236552

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

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

Mathematics Subject Classification ID

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

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Linear logic
• A General Proof System for Modalities in Concurrent Constraint Programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specifying Proof Systems in Linear Logic with Subexponentials
• Unification under a mixed prefix
• Logic Programming with Focusing Proofs in Linear Logic
• A linear logical framework
• Least and Greatest Fixed Points in Linear Logic
• A framework for proof systems
• A concurrent constraint programming interpretation of access permissions
• Title not available (Why is that?)
• Linear logic propositions as session types
• A Proof Theoretic Study of Soft Concurrent Constraint Programming
• Subexponential concurrent constraint programming
• A formal framework for specifying sequent calculus proof systems
• An extended framework for specifying and reasoning about proof systems
• Classical and intuitionistic subexponential logics are equally expressive
• Hybrid and subexponential linear logics
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• Hybridizing a logical framework
• Foundations for Reliable and Flexible Interactive Multimedia Scores
• An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
• A Logical Framework for Systems Biology
• A framework for linear authorization logics
• On subexponentials, focusing and modalities in concurrent systems

Cited In (7)

• A focused linear logical framework and its application to metatheory of object logics
• Title not available (Why is that?)
• Complexity and Succinctness Issues for Linear-Time Hybrid Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• A subexponential view of domains in session types
• Higher-order syntax and saturation algorithms for hybrid logic

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)