Cover Image

Modular many-valued semantics for combined logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Caleiro, Carlos, Marcelino, Sérgio
Format:	Preprint
Published:	2022
Subjects:	Logic Logic in Computer Science 03B62, 03B50
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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)

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

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

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

On the minimization k-valued logic functions in the class of disjunctive normal forms
by: Kabulov, Anvar, et al.
Published: (2024)

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

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

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

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

A taxonomy for controlling (in)consistency
by: Coniglio, Marcelo E., et al.
Published: (2026)

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

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

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

On an ordinary expansion of first-order Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2023)

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

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

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

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

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

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

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

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

Modal weak Kleene logics: axiomatizations and relational semantics
by: Bonzio, Stefano, et al.
Published: (2024)

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

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

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

Rational Lukasiewicz logic and DMV-algebras
by: Gerla, Brunella
Published: (2012)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

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)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

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

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)