Cover Image

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Zhang, Yuanrui
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
by: Zhang, Yuanrui
Published: (2024)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
by: Teuber, Samuel, et al.
Published: (2025)

The Parameterized Complexity of Learning Monadic Second-Order Logic
by: van Bergerem, Steffen, et al.
Published: (2023)

Complete Dynamic Logic of Communicating Hybrid Programs
by: Brieger, Marvin, et al.
Published: (2024)

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
by: Zhang, Yuanrui, et al.
Published: (2023)

Dynamic Cantor Derivative Logic
by: Fernández-Duque, David, et al.
Published: (2021)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

A Diagrammatic Algebra for Program Logics
by: Bonchi, Filippo, et al.
Published: (2024)

Symmetric Proofs of Parameterized Programs
by: Cheng, Ruotong, et al.
Published: (2026)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
by: Kettmann, Pascal, et al.
Published: (2026)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
by: Kettmann, Pascal, et al.
Published: (2025)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

Logic Programming with Multiplicative Structures
by: Acclavio, Matteo, et al.
Published: (2024)

Goedel Logics: On the Elimination of The Absoluteness Operator
by: Baaz, Matthias, et al.
Published: (2026)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
by: Li, James, et al.
Published: (2024)

On Translating Epistemic Operators in a Logic of Awareness
by: Kubono, Yudai
Published: (2026)

Unifying Graded Linear Logic and Differential Operators
by: Breuvart, Flavien, et al.
Published: (2024)

Linear Temporal Justification Logics with Past Operators
by: Ghari, Meghdad
Published: (2018)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
by: Lindenhovius, Bert, et al.
Published: (2025)

Dynamic Separation Logic
by: de Boer, Frank S., et al.
Published: (2023)

Logic-based analogical proportions
by: Antić, Christian
Published: (2024)

Non-Termination of Logic Programs Using Patterns
by: Payet, Etienne
Published: (2025)

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

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
by: Heuer, Jan, et al.
Published: (2024)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
by: Dagnino, Francesco, et al.
Published: (2023)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

A Foundation for Differentiable Logics using Dependent Type Theory
by: Affeldt, Reynald, et al.
Published: (2026)

On Propositional Dynamic Logic and Concurrency
by: Acclavio, Matteo, et al.
Published: (2024)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)