Cover Image

On an ordinary expansion of first-order Belnap-Dunn logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Middelburg, C. A.
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Logic 03B50 (Primary), 03B53 (Secondary) F.4.1; I.2.6
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
by: Forster, Jonas, et al.
Published: (2023)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

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

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Defeasible Reasoning via Datalog$^\neg$
by: Maher, Michael J.
Published: (2021)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
by: Schellhorn, Daniel Romero, et al.
Published: (2026)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Adding an Implication to Logics of Perfect Paradefinite Algebras
by: Greati, Vitor, et al.
Published: (2023)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

Finite Hilbert systems for Weak Kleene logics
by: Greati, Vitor, et al.
Published: (2024)

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

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

Betting on what is neither verifiable nor falsifiable
by: Sudhir, Abhimanyu Pallavi, et al.
Published: (2024)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

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

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
by: Castiglioni, José Luis, et al.
Published: (2025)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

FMP for QD logics. A wrong proof
by: Gasquet, Olivier
Published: (2025)

Complexity of some modal logics of density (extended version)
by: Balbiani, Philippe, et al.
Published: (2025)

First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

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

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

Normal forms in cubical type theory
by: Huang, Xu
Published: (2026)

Knowability as continuity: a topological account of informational dependence
by: Baltag, Alexandru, et al.
Published: (2024)