:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Mierzewski, Krzysztof
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence Theoretical Economics Probability 03B42, 03B48, 03B70, 60A05, 68T27, 91B12
Accesso online:	https://arxiv.org/abs/2509.02495
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

On Probabilistic Assignment Rules
di: Gogulapati, Sreedurga, et al.
Pubblicazione: (2025)

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

The Coase Theorem and Ideal Exchanges
di: Lü, Daniel
Pubblicazione: (2025)

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

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

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

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

Modal Semantics for Reasoning with Probability and Uncertainty
di: Guallart, Nino
Pubblicazione: (2024)

Probabilistic consequence relations
di: Égré, Paul, et al.
Pubblicazione: (2024)

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

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

Quantitative Linear Logic
di: Capucci, Matteo, et al.
Pubblicazione: (2026)

Arrow's theorem, ultrafilters, and reverse mathematics
di: Eastaugh, Benedict
Pubblicazione: (2023)

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

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

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

The complexity of being monitorable
di: Camerlo, Riccardo, et al.
Pubblicazione: (2026)

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

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

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

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

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

Random expansions of finite structures with bounded degree
di: Koponen, Vera
Pubblicazione: (2024)

Natural Term Logic
di: Protin, Clarence
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

Algebraizable Weak Logics
di: Nakov, Georgi, et al.
Pubblicazione: (2022)

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

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

A propositional cirquent calculus for computability logic
di: Japaridze, Giorgi
Pubblicazione: (2024)

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

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