Image de couverture de livre

Topological product of modal logics with the McKinsey axiom

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kudinov, Andrey
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
par: de Groot, Jim, et autres
Publié: (2021)

Complexity of the variable-free fragments of non-normal modal logics (extended version)
par: Kudinov, A., et autres
Publié: (2025)

The McKinsey Quarterly
Publié: (1993)

Two types of filtrations for $\mathrm{wK4}$ and its relatives
par: Kudinov, Andrey, et autres
Publié: (2023)

A modal logic translation of the AGM axioms for belief revision
par: Bonanno, Giacomo
Publié: (2025)

McKinsey-Tarski algebras and Raney extensions
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
par: Aryal, Safal Raman
Publié: (2024)

Minimal modal logics, constructive modal logics and their relations
par: Dalmonte, Tiziano
Publié: (2023)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

More on modal logics and deduction
par: Gyenis, Zalán, et autres
Publié: (2026)

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

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Labelled calculi for lattice-based modal logics
par: van der Berg, Ineke, et autres
Publié: (2024)

A note on the modal logic of symmetric extensions
par: Duncan, Hope
Publié: (2026)

The modal logic of arithmetic potentialism and the universal algorithm
par: Hamkins, Joel David
Publié: (2018)

Squares, ultrafilters and forcing axioms
par: Lambie-Hanson, Chris, et autres
Publié: (2024)

Independence questions in a finite axiom-schematization of first-order logic
par: Jubin, Benoit
Publié: (2022)

A meta-modal logic for bisimulations
par: Burrieza, Alfredo, et autres
Publié: (2025)

Simple tableaux for two expansions of Gödel modal logic
par: Bilkova, Marta, et autres
Publié: (2024)

Completeness theorems for modal logic in second-order arithmetic
par: Shimomichi, Sho, et autres
Publié: (2025)

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

Strong standard completeness theorems for S5-modal Lukasiewicz logics
par: Castaño, Diego, et autres
Publié: (2024)

Finite Kripke models and provability interpretations in quantified modal logic
par: Kogure, Haruka, et autres
Publié: (2026)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
par: Bilkova, Marta, et autres
Publié: (2023)

On a Question of Hamkins and Löwe on the modal logic of collapse forcing
par: Golshani, Mohammad, et autres
Publié: (2016)

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
par: Shamkanov, Daniyar
Publié: (2024)

Intuitionistic modal logic LIK4 is decidable
par: Balbiani, Philippe, et autres
Publié: (2025)

Parameterized complexity of n-dense modal logics
par: Gasquet, Olivier
Publié: (2026)

Provability interpretation of non-normal modal logics having neighborhood semantics
par: Kogure, Haruka
Publié: (2025)

On structural proof theory of the modal logic K+ extended with infinitary derivations
par: Shamkanov, Daniyar
Publié: (2023)

Canonicity in power and modal logics of finite achronal width
par: Goldblatt, Robert, et autres
Publié: (2022)

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

An $\mathrm{NSOP}_{1}$ theory without the existence axiom
par: Mutchnik, Scott
Publié: (2024)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
par: Balbiani, Philippe
Publié: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)