:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mei, Wei, Li, Ming, Cheng, Yuanzeng, Liu, Limin
Format:	Preprint
Published:	2021
Subjects:	Artificial Intelligence Logic in Computer Science Probability 03B48, 03B52, 60A05, 68T07
Online Access:	https://arxiv.org/abs/2110.07722
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

Justification Logics in a Fuzzy Setting
by: Ghari, Meghdad
Published: (2014)

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

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

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

Reducts of fuzzy contexts: Formal concept analysis vs. rough set theory
by: Chen, Yuxu, et al.
Published: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

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

Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)

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

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

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

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

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

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

Affine Hulls and Simplices: a Constructive Analysis
by: Bridges, Douglas S.
Published: (2025)

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

Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)

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

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

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

Axiomatizing modal inclusion logic and its variants
by: Anttila, Aleksi, et al.
Published: (2023)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

Strong Negation is Definable in 2Int
by: Oddsson, Hrafn Valtýr
Published: (2025)

Convex Team Logics
by: Anttila, Aleksi, et al.
Published: (2025)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

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

An NIP-like Notion in Abstract Elementary Classes
by: Yang, Wentao
Published: (2023)

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

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

Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

The complexity of classifying continuous t-norms up to isomorphism
by: He, Jialiang, et al.
Published: (2024)