Buchumschlag

On Propositional Dynamic Logic and Concurrency

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Acclavio, Matteo, Montesi, Fabrizio, Peressotti, Marco
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
von: Montesi, Fabrizio, et al.
Veröffentlicht: (2026)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2025)

Logic Programming with Multiplicative Structures
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
von: Acclavio, Matteo
Veröffentlicht: (2023)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
von: Acclavio, Matteo, et al.
Veröffentlicht: (2023)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
von: Peressotti, Marco
Veröffentlicht: (2025)

Proofs as Execution Trees for the π-Calculus
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Proof Nets for PiL (Full Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Intuitionistic BV (Extended version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2025)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
von: Lyon, Tim S.
Veröffentlicht: (2024)

Non-wellfounded parsimonious proofs and non-uniform complexity
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Proof Identity and Categorical Models of BV
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

A Fixed-Parameter Study on Propositional Dynamic Logic
von: Hosseinpour, Mohammad Javad, et al.
Veröffentlicht: (2024)

Intuitionistic Propositional Logic in Lean
von: Trufaş, Dafina
Veröffentlicht: (2024)

Propositional Logics for the Lawvere Quantale
von: Bacci, Giorgio, et al.
Veröffentlicht: (2023)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
von: Henson, Christopher, et al.
Veröffentlicht: (2026)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
von: Bednarczyk, Bartosz
Veröffentlicht: (2023)

Extending Defeasibility for Propositional Standpoint Logics
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
von: Olarte, Carlos, et al.
Veröffentlicht: (2024)

Interpolation in Classical Propositional Logic
von: Koopmann, Patrick, et al.
Veröffentlicht: (2025)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
von: Nakamura, Yoshiki
Veröffentlicht: (2026)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
von: Tang, Valdemar, et al.
Veröffentlicht: (2024)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

Dynamic Cantor Derivative Logic
von: Fernández-Duque, David, et al.
Veröffentlicht: (2021)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
von: Nemati, Hamed, et al.
Veröffentlicht: (2025)

Towards Concurrent Quantitative Separation Logic
von: Fesefeldt, Ira, et al.
Veröffentlicht: (2022)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
von: Le, Quang Loc
Veröffentlicht: (2025)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

A General Theory of Propositional Modal Bundled Modalities
von: Ding, Yifeng, et al.
Veröffentlicht: (2026)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
von: An, Chenyang, et al.
Veröffentlicht: (2024)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

Dynamic Separation Logic
von: de Boer, Frank S., et al.
Veröffentlicht: (2023)