There are only countably many locally tabular bi-intermediate logics of co-trees
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | Martins, Miguel |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Bi-intermediate logics of trees and co-trees
von: Bezhanishvili, N., et al.
Veröffentlicht: (2022)
von: Bezhanishvili, N., et al.
Veröffentlicht: (2022)
Locally tabular products of modal logics
von: Shapirovsky, Ilya B., et al.
Veröffentlicht: (2024)
von: Shapirovsky, Ilya B., et al.
Veröffentlicht: (2024)
Sufficient conditions for local tabularity of a polymodal logic
von: Shapirovsky, Ilya B.
Veröffentlicht: (2022)
von: Shapirovsky, Ilya B.
Veröffentlicht: (2022)
Tabular intermediate logics comparison
von: Rzążewski, Paweł, et al.
Veröffentlicht: (2025)
von: Rzążewski, Paweł, et al.
Veröffentlicht: (2025)
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
von: Bilkova, Marta, et al.
Veröffentlicht: (2023)
von: Bilkova, Marta, et al.
Veröffentlicht: (2023)
A logic of co-valuations
von: Malicki, Maciej
Veröffentlicht: (2025)
von: Malicki, Maciej
Veröffentlicht: (2025)
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)
Asymptotic truth-value laws in many-valued logics
von: Badia, Guillermo, et al.
Veröffentlicht: (2023)
von: Badia, Guillermo, et al.
Veröffentlicht: (2023)
Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
von: Kurahashi, Taishi
Veröffentlicht: (2024)
von: Kurahashi, Taishi
Veröffentlicht: (2024)
An algebra modality admitting countably many deriving transformations
von: Vienney, Jean-Baptiste
Veröffentlicht: (2025)
von: Vienney, Jean-Baptiste
Veröffentlicht: (2025)
S4 modal sequent calculus as intermediate logic and intermediate language
von: Caspar, Jean, et al.
Veröffentlicht: (2026)
von: Caspar, Jean, et al.
Veröffentlicht: (2026)
Reverse mathematics of regular countable second countable spaces
von: Genovesi, Giorgio G.
Veröffentlicht: (2024)
von: Genovesi, Giorgio G.
Veröffentlicht: (2024)
Modular many-valued semantics for combined logics
von: Caleiro, Carlos, et al.
Veröffentlicht: (2022)
von: Caleiro, Carlos, et al.
Veröffentlicht: (2022)
Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
von: Das, Litan Kumar, et al.
Veröffentlicht: (2023)
von: Das, Litan Kumar, et al.
Veröffentlicht: (2023)
On chromatic number of countable graphs
von: Kikyo, Hirotaka, et al.
Veröffentlicht: (2026)
von: Kikyo, Hirotaka, et al.
Veröffentlicht: (2026)
Locally countable graphs of second projective class not generated by countably many projective functions
von: Kanovei, Vladimir, et al.
Veröffentlicht: (2026)
von: Kanovei, Vladimir, et al.
Veröffentlicht: (2026)
Four-valued logics of indicative conditionals
von: Pérez, Miguel Muñoz
Veröffentlicht: (2025)
von: Pérez, Miguel Muñoz
Veröffentlicht: (2025)
Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)
On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)
Operational semantics and program verification using many-sorted hybrid modal logic
von: Leustean, Ioana, et al.
Veröffentlicht: (2019)
von: Leustean, Ioana, et al.
Veröffentlicht: (2019)
On Many-logic modal structures and information-based logics
von: Martins, Manuel, et al.
Veröffentlicht: (2026)
von: Martins, Manuel, et al.
Veröffentlicht: (2026)
Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)
von: Tokuo, Kenji
Veröffentlicht: (2025)
Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)
Intuitionistic logic, dual intuitionistic logic, and modality
von: Aryal, Safal Raman
Veröffentlicht: (2024)
von: Aryal, Safal Raman
Veröffentlicht: (2024)
Structural Completeness in bi-IPC
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)
The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)
von: Bonanno, Giacomo
Veröffentlicht: (2026)
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
von: Fábregas, Ignacio, et al.
Veröffentlicht: (2024)
von: Fábregas, Ignacio, et al.
Veröffentlicht: (2024)
Regular expressions over countable words
von: Colcombet, Thomas, et al.
Veröffentlicht: (2025)
von: Colcombet, Thomas, et al.
Veröffentlicht: (2025)
A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)
von: Piazza, Mario, et al.
Veröffentlicht: (2025)
Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)
Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)
Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)
von: Rybakov, Mikhail
Veröffentlicht: (2025)
Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)
Universal countably chromatic graph
von: Kivimäki, Siiri
Veröffentlicht: (2025)
von: Kivimäki, Siiri
Veröffentlicht: (2025)
Superabelian logics
von: Cintula, Petr, et al.
Veröffentlicht: (2024)
von: Cintula, Petr, et al.
Veröffentlicht: (2024)
Further remarks on the dual negation in team logics
von: Anttila, Aleksi
Veröffentlicht: (2024)
von: Anttila, Aleksi
Veröffentlicht: (2024)
Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)
von: de Groot, Jim
Veröffentlicht: (2025)
Intuitionistic modal logics: a minimal setting
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)
Bi-intuitionistic logics through the abstract algebraic logic lens
von: Deakin, Jonte, et al.
Veröffentlicht: (2025)
von: Deakin, Jonte, et al.
Veröffentlicht: (2025)
The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
von: Bahrami, Saeideh
Veröffentlicht: (2026)
von: Bahrami, Saeideh
Veröffentlicht: (2026)
Ähnliche Einträge
-
Bi-intermediate logics of trees and co-trees
von: Bezhanishvili, N., et al.
Veröffentlicht: (2022) -
Locally tabular products of modal logics
von: Shapirovsky, Ilya B., et al.
Veröffentlicht: (2024) -
Sufficient conditions for local tabularity of a polymodal logic
von: Shapirovsky, Ilya B.
Veröffentlicht: (2022) -
Tabular intermediate logics comparison
von: Rzążewski, Paweł, et al.
Veröffentlicht: (2025) -
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
von: Bilkova, Marta, et al.
Veröffentlicht: (2023)