2026-08-07T12:10:52Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:14241 2024-03-06T10:53:14Z ddc:004 open_access

Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk) Pimentel, Elaine Olarte, Carlos Nigam, Vivek Linear logic proof theory process calculi In this survey, we show how the processes-as-formulas interpretation, where computations and proof-search are strongly connected, can be used to specify different concurrent behaviors as logical theories. The proposed interpretation is parametric and modular, and it faithfully captures behaviors such as: Linear and spatial computations, epistemic state of agents, and preferences in concurrent systems. The key for this modularity is the incorporation of multimodalities in a resource aware logic, together with the ability of quantifying on such modalities. We achieve tight adequacy theorems by relying on a focusing discipline that allows for controlling the proof search process. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Elaine Pimentel and Carlos Olarte and Vivek Nigam 2021 Is Part Of LIPIcs, Volume 195, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSCD.2021.3 urn:nbn:de:0030-drops-142414 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.3 eng https://creativecommons.org/licenses/by/4.0/legalcode