:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Pavlovic, Dusko, Seidel, Peter-Michael
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Computers and Society Information Theory Social and Information Networks Logic 03-01, 03C65, 68M25 D.4.6; F.4.1; F.4.3; G.0; H.1; K.4.2; K.6.5
Online Access:	https://arxiv.org/abs/2504.16617
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic in Mathematics and Computer Science
by: Zach, Richard
Published: (2024)

The Need for Standardized Evidence Sampling in CMMC Assessments: A Survey-Based Analysis of Assessor Practices
by: Therrien, Logan, et al.
Published: (2026)

Structural focalization
by: Simmons, Robert J.
Published: (2011)

A logical framework for data-driven reasoning
by: Baldi, Paolo, et al.
Published: (2024)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
by: Chan, Jhet
Published: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

How Does Environmental Information Disclosure Affect Corporate Environmental Performance? Evidence from Chinese A-Share Listed Companies
by: Lin, Zehao
Published: (2025)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
by: Santacana, Andreu Ballus
Published: (2025)

KYA: A Framework-Agnostic Trust Layer for Autonomous Systems with Verifiable Provenance and Hierarchical Policy Composition
by: Quadri, Kolawole
Published: (2026)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

Minoritised Ethnic People's Security and Privacy Concerns and Responses towards Essential Online Services
by: Quyoum, Aunam, et al.
Published: (2025)

Approximate Axiomatization for Differentially-Defined Functions
by: Platzer, André, et al.
Published: (2025)

Belief in Simplicial Complexes
by: Sink, Philip, et al.
Published: (2025)

A Note on Proper Relational Structures
by: Bjorndahl, Adam, et al.
Published: (2025)

Privacy in the Age of AI: A Taxonomy of Data Risks
by: Billiris, Grace, et al.
Published: (2025)

"We are currently clean on OPSEC": Why JD Can't Encrypt
by: Chiodo, Maurice, et al.
Published: (2026)

Stratifiable formulae are not context-free
by: Ryan-Smith, Calliope
Published: (2023)

A Tame Generic Structure with Non-Algebraic Geometric Closure
by: Jalili, Somaye, et al.
Published: (2020)

Conjunctive categorial grammars and Lambek grammars with additives
by: Kuznetsov, Stepan L., et al.
Published: (2024)

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

Towards Socio-Technical Topology-Aware Adaptive Threat Detection in Software Supply Chains
by: Welsh, Thomas, et al.
Published: (2025)

The Hamiltonian Syllogistic
by: Pratt-Hartmann, Ian
Published: (2010)

Correlated-Sequence Differential Privacy
by: Luo, Yifan, et al.
Published: (2025)

A Systematic Review and Taxonomy for Privacy Breach Classification: Trends, Gaps, and Future Directions
by: Fuchs, Clint, et al.
Published: (2025)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
by: Liu, Zhangchi
Published: (2025)

The Signalgate Case is Waiving a Red Flag to All Organizational and Behavioral Cybersecurity Leaders, Practitioners, and Researchers: Are We Receiving the Signal Amidst the Noise?
by: Lowry, Paul Benjamin, et al.
Published: (2025)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

Support + Belief = Decision Trust
by: Aldini, Alessandro, et al.
Published: (2024)

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

Model Checking of vGOAL
by: Yang, Yi, et al.
Published: (2024)

A correspondence between the time and space complexity
by: Latkin, Ivan V.
Published: (2023)

Towards Multi-Stakeholder Vulnerability Notifications in the Ad-Tech Supply Chain
by: Vekaria, Yash, et al.
Published: (2024)

A vector logic for extensional formal semantics
by: Quigley, Daniel
Published: (2024)

Recursive windows for grammar logics of bounded density
by: Gasquet, Olivier
Published: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
by: Balbiani, Philippe, et al.
Published: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
by: Barrett, Victoria, et al.
Published: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
by: Shamkanov, Daniyar
Published: (2021)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
by: Rahnama, Moses
Published: (2025)

Openness And Partial Adjacency In One Variable TPTL
by: Krishna, Shankara Narayanan, et al.
Published: (2024)