Cover Image

Probabilistic consequence relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Égré, Paul, Ripley, Ellie
Format:	Preprint
Published:	2024
Subjects:	Logic Logic in Computer Science Probability 03B48, 03B47
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ST and TS as Product and Sum
by: Blomet, Quentin, et al.
Published: (2024)

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

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

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

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

Reasoning from hypotheses in *-continuous action lattices
by: Kuznetsov, Stepan L., et al.
Published: (2024)

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

Probabilistic Disjunctive Normal Forms in Temporal Logic and Automata Theory
by: Kuznetsov, Alexander
Published: (2026)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

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

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, 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)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

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

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

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

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

Rule-Elimination Theorems
by: Roy, Sayantan
Published: (2024)

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

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

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

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

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

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

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

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

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

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
by: Wang, Juntao, et al.
Published: (2026)

Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)

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

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)