16 citations · 18 across the 8 of their papers we have counts for
8 papers
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
Carlos Olarte, Elaine Pimentel
Similar to modal connectives, the exponential ! in intuitionistic linear logic (ILL) is not canonical, in the sense that if then . Intuitively, th…
Timed Strategies for Real-Time Rewrite Theories
Carlos Olarte, Peter Csaba Ölveczky
In this paper we propose a language for conveniently defining a wide range of execution strategies for real-time rewrite theories, and provide Maude-strategy-implemented versions o…
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
Carlos Olarte, Carlos Ramírez, Camilo Rocha +1
Social media platforms have played a key role in weaponizing the polarization of social, political, and democratic processes. This is, mainly, because they are a medium for opinion…
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Alberto Ciaffaglione, Carlos Olarte
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and comput…
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Jaime Arias, Kyungmin Bae, Carlos Olarte +3
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a…
Hybrid and Subexponential Linear Logics Technical Report
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temp…