Copertina

There are only countably many locally tabular bi-intermediate logics of co-trees

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Martins, Miguel
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bi-intermediate logics of trees and co-trees
di: Bezhanishvili, N., et al.
Pubblicazione: (2022)

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

Sufficient conditions for local tabularity of a polymodal logic
di: Shapirovsky, Ilya B.
Pubblicazione: (2022)

Tabular intermediate logics comparison
di: Rzążewski, Paweł, et al.
Pubblicazione: (2025)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
di: Bilkova, Marta, et al.
Pubblicazione: (2023)

A logic of co-valuations
di: Malicki, Maciej
Pubblicazione: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
di: Coniglio, M. E., et al.
Pubblicazione: (2026)

Asymptotic truth-value laws in many-valued logics
di: Badia, Guillermo, et al.
Pubblicazione: (2023)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
di: Kurahashi, Taishi
Pubblicazione: (2024)

An algebra modality admitting countably many deriving transformations
di: Vienney, Jean-Baptiste
Pubblicazione: (2025)

S4 modal sequent calculus as intermediate logic and intermediate language
di: Caspar, Jean, et al.
Pubblicazione: (2026)

Reverse mathematics of regular countable second countable spaces
di: Genovesi, Giorgio G.
Pubblicazione: (2024)

Modular many-valued semantics for combined logics
di: Caleiro, Carlos, et al.
Pubblicazione: (2022)

Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
di: Das, Litan Kumar, et al.
Pubblicazione: (2023)

On chromatic number of countable graphs
di: Kikyo, Hirotaka, et al.
Pubblicazione: (2026)

Locally countable graphs of second projective class not generated by countably many projective functions
di: Kanovei, Vladimir, et al.
Pubblicazione: (2026)

Four-valued logics of indicative conditionals
di: Pérez, Miguel Muñoz
Pubblicazione: (2025)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
di: Olkhovikov, Grigory K., et al.
Pubblicazione: (2022)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Operational semantics and program verification using many-sorted hybrid modal logic
di: Leustean, Ioana, et al.
Pubblicazione: (2019)

On Many-logic modal structures and information-based logics
di: Martins, Manuel, et al.
Pubblicazione: (2026)

Quantum modal logic
di: Tokuo, Kenji
Pubblicazione: (2025)

Tableau methodology for propositional logics
di: Jarmuzek, T., et al.
Pubblicazione: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
di: Aryal, Safal Raman
Pubblicazione: (2024)

Structural Completeness in bi-IPC
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

Regular expressions over countable words
di: Colcombet, Thomas, et al.
Pubblicazione: (2025)

A logic for default deontic reasoning
di: Piazza, Mario, et al.
Pubblicazione: (2025)

Modal definability in Euclidean modal logics
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Filling in the semantics for intuitionistic conditional logic
di: Dufty, Brendan, et al.
Pubblicazione: (2025)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)

Extended multi-adjoint logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

Universal countably chromatic graph
di: Kivimäki, Siiri
Pubblicazione: (2025)

Superabelian logics
di: Cintula, Petr, et al.
Pubblicazione: (2024)

Further remarks on the dual negation in team logics
di: Anttila, Aleksi
Pubblicazione: (2024)

Intuitionistic monotone modal logic via translation
di: de Groot, Jim
Pubblicazione: (2025)

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
di: Deakin, Jonte, et al.
Pubblicazione: (2025)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
di: Bahrami, Saeideh
Pubblicazione: (2026)