Cover Image

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alpay, Faruk, Basaran, Baris
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Computer Science and Game Theory 03B45, 03B70, 68Q60, 91B14
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
by: Alpay, Faruk, et al.
Published: (2026)

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

Complete Game Logic with Sabotage
by: Wafa, Noah Abou El, et al.
Published: (2024)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
by: Alpay, Faruk, et al.
Published: (2025)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Finite-Horizon First-Order Rank Profiles of Regular Languages
by: Bazarova, Madina, et al.
Published: (2026)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
by: Forster, Jonas, et al.
Published: (2026)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

Executable Boundary Contracts for Sound Event Traces
by: Alpay, Faruk, et al.
Published: (2026)

Complete First-Order Game Logic
by: Wafa, Noah Abou El, et al.
Published: (2025)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
by: Gabbay, Murdoch J., et al.
Published: (2025)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)

Ordinal Folding Index: A Computable Metric for Self-Referential Semantics
by: Alpay, Faruk, et al.
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
by: van der Meyden, Ron
Published: (2025)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Domains, Information Frames, and Their Logic
by: Spreen, Dieter
Published: (2025)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
by: Forster, Jonas, et al.
Published: (2023)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
by: Coniglio, Marcelo E., et al.
Published: (2024)

Probabilistically stable revision and comparative probability: a representation theorem and applications
by: Mierzewski, Krzysztof
Published: (2025)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
by: Alpay, Faruk, et al.
Published: (2025)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
by: Jaber, Guilhem, et al.
Published: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
by: Lopez, Aliaume
Published: (2024)

The fork and its role in unification of closure algebras
by: Düntsch, Ivo, et al.
Published: (2023)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
by: Wild, Paul, et al.
Published: (2025)

Relational Connectors and Heterogeneous Bisimulations
by: Nora, Pedro, et al.
Published: (2024)

Preservation theorems on sparse classes revisited
by: Dawar, Anuj, et al.
Published: (2024)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
by: Lin, Deren, et al.
Published: (2022)

First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)

Matching logic -- a new axiomatization
by: Leuştean, Laurenţiu, et al.
Published: (2025)

Notes on applicative matching logic
by: Leuştean, Laurenţiu
Published: (2025)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
by: Gabbay, Murdoch J.
Published: (2025)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)