:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Mierzewski, Krzysztof
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence Theoretical Economics Probability 03B42, 03B48, 03B70, 60A05, 68T27, 91B12
Online Access:	https://arxiv.org/abs/2509.02495
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Normalization properties of $λμ$-calculus using realizability semantics
by: Battyanyi, Peter, et al.
Published: (2023)

On Probabilistic Assignment Rules
by: Gogulapati, Sreedurga, et al.
Published: (2025)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
by: Mei, Wei, et al.
Published: (2021)

The Coase Theorem and Ideal Exchanges
by: Lü, Daniel
Published: (2025)

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
by: Zantedeschi, Daniel
Published: (2026)

Black Box Deployed -- Functional Criteria for Artificial Moral Agents in the LLM Era
by: Brophy, Matthew E.
Published: (2025)

A characterization of strategy-proof probabilistic assignment rules
by: Donthu, Sai Praneeth, et al.
Published: (2025)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

Modal Semantics for Reasoning with Probability and Uncertainty
by: Guallart, Nino
Published: (2024)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
by: Alpay, Faruk, et al.
Published: (2026)

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

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Arrow's theorem, ultrafilters, and reverse mathematics
by: Eastaugh, Benedict
Published: (2023)

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers
by: Bahl, Rohan
Published: (2024)

The Principles of Probability: From Formal Logic to Measure Theory to the Principle of Indifference
by: Swanson, Jason
Published: (2025)

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

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

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
by: Huttegger, Simon M., et al.
Published: (2024)

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

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

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
by: Sochański, Michał, et al.
Published: (2025)

Random expansions of finite structures with bounded degree
by: Koponen, Vera
Published: (2024)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

A partial-state space model of unawareness
by: Holliday, Wesley H.
Published: (2024)

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

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

Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

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

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

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

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
by: Neri, Morenikeji
Published: (2024)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Incentive-Compatible Vertiport Reservation in Advanced Air Mobility: An Auction-Based Approach
by: Su, Pan-Yang, et al.
Published: (2024)

Encoding Argumentation Frameworks to Propositional Logic Systems
by: Tang, Shuai, et al.
Published: (2025)