Imagen de Portada

On Modal Companions of Logics with Strong Negation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Anishchenko, Dmitry M.
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Relational Companions of Logics
por: Basu, Sankha S., et al.
Publicado: (2024)

Fusions of One-Variable First-Order Modal Logics
por: Kontchakov, Roman, et al.
Publicado: (2026)

Decidability of Quantum Modal Logic
por: Tokuo, Kenji
Publicado: (2026)

Modal Logic for Reasoning About Uncertainty and Confusion
por: Bílková, Marta, et al.
Publicado: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
por: Marin, Sonia, et al.
Publicado: (2025)

Decidability of Quasi-Dense Modal Logics
por: Ostropolski-Nalewaja, Piotr, et al.
Publicado: (2024)

Distribution-Free Normal Modal Logics
por: Hartonas, Chrysafis
Publicado: (2024)

Base-extension Semantics for Modal Logic
por: Eckhardt, Timo, et al.
Publicado: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
por: Kürbis, Nils
Publicado: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
por: Buzoku, Yll, et al.
Publicado: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2024)

Nested Sequents for Quasi-transitive Modal Logics
por: Marin, Sonia, et al.
Publicado: (2024)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
por: Chrysafis, et al.
Publicado: (2025)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
por: de Groot, Jim, et al.
Publicado: (2026)

Some General Completeness Results for Propositionally Quantified Modal Logics
por: Ding, Yifeng, et al.
Publicado: (2024)

First-order Logic with Being a Thesis Modal Operator
por: Łyczak, Marcin
Publicado: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
por: de Groot, Jim, et al.
Publicado: (2024)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

Polytopological Semantics for Intuitionistic Modal Logics
por: Aguilera, Juan P., et al.
Publicado: (2026)

Strong Completeness of Provability Logic for Uncountable Languages
por: Golshani, Mohammad, et al.
Publicado: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

Goldblat-Thomason Theorems for Fundamental (Modal) Logic
por: Massas, Guillaume
Publicado: (2024)

Base-extension Semantics for S5 Modal Logic
por: Eckhardt, Timo, et al.
Publicado: (2024)

Stable Canonical Rules for Intuitionistic Modal Logics
por: Liao, Cheng
Publicado: (2026)

Tho Modal Logic of Minimal Upper Bounds
por: Knudstorp, Søren Brinck
Publicado: (2024)

Profiniteness, Monadicity and Universal Models in Modal Logic
por: De Berardinis, Matteo, et al.
Publicado: (2023)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
por: Liang, Xiaolong, et al.
Publicado: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
por: Lyon, Tim S., et al.
Publicado: (2026)

LEGO-like Small-Model Constructions for Åqvist's Logics
por: Rozplokhas, Dmitry
Publicado: (2024)

Paraconsistent Constructive Modal Logic
por: Gao, Han, et al.
Publicado: (2025)

Possibility Frames and Forcing for Modal Logic
por: Holliday, Wesley H.
Publicado: (2025)

The Modal Logic of Abstraction Refinement
por: Piribauer, Jakob, et al.
Publicado: (2026)

Many-Valued Modal Logic
por: Karniel, Amir, et al.
Publicado: (2024)

Collapsing Constructive and Intuitionistic Modal Logics
por: Pacheco, Leonardo
Publicado: (2024)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
por: Kojima, Ryota, et al.
Publicado: (2025)

Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
por: Rodrigues, Abilio, et al.
Publicado: (2026)

Guarded Negation Transitive Closure Logic
por: Figueira, Diego, et al.
Publicado: (2025)

First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)

Local Intuitionistic Modal Logics and Their Calculi
por: Balbiani, Philippe, et al.
Publicado: (2024)

Negation and Identity in a Modal Mode Theory
por: Afanador, Juan
Publicado: (2023)