Abstract:Belnap–Dunn's relevance logic, , was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce a four-valued expansion of BD called , obtained by adding an unary connective which is a consistency operator (in the sense of the Logics of Formal Inconsistency, LFI s). In addition, this operator is the unique one with the following features: it extends to the consistency operator of LFI1 , a well-known three-valued LFI , still satisfying axiom ciw (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, LFU s). Moreover, is maximal w.r.t. LFI1 , and it is proved to be equivalent to BD2 , up to signature. After presenting a natural Hilbert-style characterization of obtained by means of twist-structures semantics, we propose a first-order version of called , with semantics based on an appropriate notion of four-valued Tarskian-like structures called -structures. We show that in , the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for is presented, proving the corresponding soundness and completeness theorems.

Decision problem of some bundled FOML fragments

Are Bundles Good Deals for FOML?

Bundled Fragments of First-Order Modal Logic: (Un)decidability.

Are Bundles Good Deals for First-Order Modal Logic?

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster

Decidable Fragments of First-Order Language under Stable Model Semantics and Circumscription.

On the Limits of Decision: the Adjacent Fragment of First-Order Logic

On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness

The Adjacent Fragment and Quine's Limits of Decision

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories

Some General Completeness Results for Propositionally Quantified Modal Logics

On the Ordered Conjecture

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic

Decidable Logics Combining Word Equations, Regular Expressions and Length Constraints

Weighted model counting beyond two-variable logic

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic

The Borel monadic theory of order is decidable

Existential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic Classification

On F-Disjunctive Languages, F-Disjunctive Domains and Solid Codes

A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints.

Paraconsistent Gödel modal logic on bi-relational frames