Buchumschlag

Towards a Proof System for Probabilistic Dynamic Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Johnsen, Einar Broch, Kamburjan, Eduard, Pardo, Raúl, Voogd, Erik, Wąsowski, Andrzej
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

A Hoare Logic for Domain Specification (Full Version)
von: Kamburjan, Eduard, et al.
Veröffentlicht: (2024)

Semantically Reflected Programs
von: Kamburjan, Eduard, et al.
Veröffentlicht: (2025)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
von: Päßler, Juliane, et al.
Veröffentlicht: (2023)

Incremental Fingerprinting in an Open World
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Proof Complexity of Linear Logics
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2026)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
von: Leneutre, Jean, 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)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

A Study on Actions for Atomic Logics
von: Espejo-Boix, Raül
Veröffentlicht: (2024)

Tableau Proof Systems for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
von: Szalas, Andrzej
Veröffentlicht: (2025)

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

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Beyond the Spell: A Dynamic Logic Analysis of Misdirection
von: Icard, Benjamin, et al.
Veröffentlicht: (2024)

Sound and Complete Proof Rules for Probabilistic Termination
von: Majumdar, Rupak, et al.
Veröffentlicht: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2026)

PFL: a Probabilistic Logic for Fault Trees
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2023)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

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

A Proof-Theoretic Study of Modal Logic
von: Kushida, Hirohiko
Veröffentlicht: (2026)

Six Proofs of Interpolation for the Modal Logic K
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

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

A Proof-theoretic Semantics for Intuitionistic Linear Logic
von: Buzoku, Yll
Veröffentlicht: (2024)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
von: Maluszynski, Jan, et al.
Veröffentlicht: (2010)

Proofs that Modify Proofs, 1/2
von: Towsner, Henry
Veröffentlicht: (2025)

Definite Descriptions and Hybrid Tense Logic
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Towards an Analysis of Proofs in Arithmetic
von: Leitsch, Alexander, et al.
Veröffentlicht: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

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

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
von: Wałęga, Przemysław Andrzej, et al.
Veröffentlicht: (2026)