Buchumschlag

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil, Majer, Ondrej
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
von: Bilkova, Marta, et al.
Veröffentlicht: (2023)

Qualitative reasoning in a two-layered framework
von: Bilkova, Marta, et al.
Veröffentlicht: (2022)

Filter-induced entailment relations in paraconsistent Gödel logics
von: Frittella, Sabine, et al.
Veröffentlicht: (2024)

Tableaux for epistemic Gödel logic
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Simple tableaux for two expansions of Gödel modal logic
von: Bilkova, Marta, et al.
Veröffentlicht: (2024)

The interdefinability of expansions of Belnap-Dunn logic
von: Middelburg, C. A.
Veröffentlicht: (2024)

On an ordinary expansion of first-order Belnap-Dunn logic
von: Middelburg, C. A.
Veröffentlicht: (2023)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Belnap-Dunn logic and query answering in inconsistent databases with null values
von: Middelburg, C. A.
Veröffentlicht: (2023)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
von: Kozhemiachenko, Daniil
Veröffentlicht: (2024)

Non-distributive relatives of ETL and NFL
von: Kozhemiachenko, Daniil
Veröffentlicht: (2024)

Four imprints of Belnap's useful four-valued logic in computer science
von: Jakl, Tomáš
Veröffentlicht: (2025)

Non-contingecy in a paraconsistent setting
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2024)

Complexity of Abduction in Łukasiewicz Logic
von: Inoue, Katsumi, et al.
Veröffentlicht: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
von: Antunes, Henrique, et al.
Veröffentlicht: (2024)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Complexity of Łukasiewicz Modal Probabilistic Logics
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Intuitionistic logic, dual intuitionistic logic, and modality
von: Aryal, Safal Raman
Veröffentlicht: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2026)

Paraconsistent Constructive Modal Logic
von: Gao, Han, et al.
Veröffentlicht: (2025)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

Superabelian logics
von: Cintula, Petr, et al.
Veröffentlicht: (2024)

Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
von: Anantharaman, Siva, et al.
Veröffentlicht: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
von: Deakin, Jonte, et al.
Veröffentlicht: (2025)

Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)

Many-valued coalgebraic logic over semi-primal varieties
von: Kurz, Alexander, et al.
Veröffentlicht: (2023)

A modal logic translation of the AGM axioms for belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2025)

Comparing differentiable logics for learning with logical constraints
von: Flinkow, Thomas, et al.
Veröffentlicht: (2024)

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
von: Majkic, Zoran
Veröffentlicht: (2025)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Foundations of logic programming in hybrid-dynamic quantum logic
von: Gaina, Daniel
Veröffentlicht: (2024)

Minimal modal logics, constructive modal logics and their relations
von: Dalmonte, Tiziano
Veröffentlicht: (2023)