Image de couverture de livre

LPrL: An Asynchronous Linear Time Hyper Logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Duggirala, Parasara Sridhar, Thiagarajan, P. S.
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Unifying Asynchronous Logics for Hyperproperties
par: Bombardelli, Alberto, et autres
Publié: (2024)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
par: Kontinen, Juha, et autres
Publié: (2024)

Proof Complexity of Linear Logics
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
par: Beutner, Raven, et autres
Publié: (2022)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
par: Dardinier, Thibault, et autres
Publié: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
par: Pears, Jonah, et autres
Publié: (2024)

Hyper Strategy Logic
par: Beutner, Raven, et autres
Publié: (2024)

A Program Logic for Abstract (Hyper)Properties
par: Baldan, Paolo, et autres
Publié: (2026)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

Skolemisation for Intuitionistic Linear Logic
par: Bruni, Alessandro, et autres
Publié: (2024)

On the role of connectivity in Linear Logic proofs
par: Di Donna, Raffaele, et autres
Publié: (2025)

Undecidability of Linear Logics without Weakening
par: Suzuki, Jun, et autres
Publié: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)

From Differential Linear Logic to Coherent Differentiation
par: Ehrhard, Thomas
Publié: (2024)

Unifying Graded Linear Logic and Differential Operators
par: Breuvart, Flavien, et autres
Publié: (2024)

Linear Temporal Justification Logics with Past Operators
par: Ghari, Meghdad
Publié: (2018)

Type Isomorphisms for Multiplicative-Additive Linear Logic
par: Di Guardia, Rémi, et autres
Publié: (2024)

Automata Linear Dynamic Logic on Finite Traces
par: Smith, Kevin W., et autres
Publié: (2021)

A Categorical Semantics for Linear Logical Frameworks
par: Vákár, Matthijs
Publié: (2015)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

Sharing and Linear Logic with Restricted Access (Extended Version)
par: Barenbaum, Pablo, et autres
Publié: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Internship report: Coherent differentiation in models of Linear Logic
par: Walch, Aymeric
Publié: (2024)

A Proof-theoretic Semantics for Intuitionistic Linear Logic
par: Buzoku, Yll
Publié: (2024)

Semantics for Linear-time Temporal Logic with Finite Observations
par: Amjad, Rayhana, et autres
Publié: (2024)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
par: Fortin, Marie, et autres
Publié: (2023)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
par: Bauer, Esaïe, et autres
Publié: (2025)

Comparing Session Type Systems derived from Linear Logic
par: Heuvel, Bas van den, et autres
Publié: (2024)

An Indexed Linear Logic for Idempotent Intersection Types (Long version)
par: Breuvart, Flavien, et autres
Publié: (2024)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
par: Artale, Alessandro, et autres
Publié: (2022)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
par: Acclavio, Matteo, et autres
Publié: (2023)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
par: Di Guardia, Rémi, et autres
Publié: (2026)

The Complexity of HyperQPTL
par: Regaud, Gaëtan, et autres
Publié: (2024)