Image de couverture de livre

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Coniglio, Marcelo E.
Format:	Preprint
Publié:	2023
Sujets:	Logic in Computer Science Logic 03B53, 03B62, 03B45, 03B60
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Swap Kripke models for deontic LFIs
par: Vaz, Mahan, et autres
Publié: (2025)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
par: Coniglio, Marcelo E., et autres
Publié: (2025)

On Many-logic modal structures and information-based logics
par: Martins, Manuel, et autres
Publié: (2026)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
par: Olkhovikov, Grigory
Publié: (2024)

On connexivity in modal and conditional contexts
par: Olkhovikov, Grigory K.
Publié: (2025)

A taxonomy for controlling (in)consistency
par: Coniglio, Marcelo E., et autres
Publié: (2026)

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
par: Coniglio, Marcelo E., et autres
Publié: (2024)

State-based Modal Logics for Free Choice
par: Aloni, Maria, et autres
Publié: (2023)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
par: Ghari, Meghdad
Publié: (2014)

Equivalence of finite non-deterministic logical matrices is undecidable
par: Caleiro, Carlos, et autres
Publié: (2024)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Modular many-valued semantics for combined logics
par: Caleiro, Carlos, et autres
Publié: (2022)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

Locally tabular products of modal logics
par: Shapirovsky, Ilya B., et autres
Publié: (2024)

Strong Negation is Definable in 2Int
par: Oddsson, Hrafn Valtýr
Publié: (2025)

Topological semantics for a non-self-extensional LFI
par: Jain, Esha, et autres
Publié: (2025)

Game semantics for the constructive $μ$-calculus
par: Pacheco, Leonardo
Publié: (2023)

Intuitionistic Common Knowledge
par: Zenger, Lukas
Publié: (2026)

Blok-Esakia Theorems via Stable Canonical Rules
par: Bezhanishvili, Nick, et autres
Publié: (2022)

The interdefinability of expansions of Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2024)

Towards a logic of affordances
par: Gruszczynski, Rafal, et autres
Publié: (2025)

Adding an Implication to Logics of Perfect Paradefinite Algebras
par: Greati, Vitor, et autres
Publié: (2023)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
par: Leme, Renato, et autres
Publié: (2023)

Logics of False Belief and Radical Ignorance
par: Fan, Jie
Publié: (2024)

A Basic Łukasiewicz m-valued conditional logic
par: Huo, Shuquan
Publié: (2024)

Multiplicative logic in arithmetic
par: Zhuravlov, Volodymyr
Publié: (2024)

First-Order Modal Logic via Logical Categories
par: Ghilardi, Silvio, et autres
Publié: (2025)

Interleaving Logic and Counting
par: van Benthem, Johan, et autres
Publié: (2025)

Monotonicity versus positivity in modal logics
par: Dvorkin, Lev
Publié: (2026)

Kripke-like models of Set Theory in Modal Residuated Logic
par: Moncayo, Jose, et autres
Publié: (2024)

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

On the expressive power of inquisitive epistemic logic
par: Ciardelli, Ivano, et autres
Publié: (2023)

A non-uniform view of Craig interpolation in modal logics with linear frames
par: Kurucz, Agi, et autres
Publié: (2023)

The Orthologic of Epistemic Modals
par: Holliday, Wesley H., et autres
Publié: (2022)

Axiomatizing modal inclusion logic and its variants
par: Anttila, Aleksi, et autres
Publié: (2023)

Generalized explosion principles
par: Basu, Sankha S., et autres
Publié: (2023)

Failure of Esakia's theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Modal Semantics for Reasoning with Probability and Uncertainty
par: Guallart, Nino
Publié: (2024)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
par: Sato, Yuta
Publié: (2025)