Fischer-Servi logic does not have interpolation
Fuente:
arXiv
Salvato in:
| Autori principali: | Almeida, Rodrigo Nicolau, Bezhanishvili, Nick, Lemal, Simon |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Superamalgamation for modal lattices via non-distributive dualities
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2026)
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2026)
A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)
Structural Completeness in bi-IPC
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025)
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025)
First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)
di: Christensen, Ahmee
Pubblicazione: (2024)
Esakia order-compactifications and locally Esakia spaces
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025)
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025)
The Baire closure and its logic
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2021)
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2021)
Degrees of the finite model property: the antidichotomy theorem
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2023)
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2023)
Bi-intermediate logics of trees and co-trees
di: Bezhanishvili, N., et al.
Pubblicazione: (2022)
di: Bezhanishvili, N., et al.
Pubblicazione: (2022)
$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)
Uniform Local Tabularity in Intuitionistic Logic
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2026)
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2026)
Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2025)
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2025)
Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)
Uniform interpolation for interpretability logic
di: Horvat, Sebastijan, et al.
Pubblicazione: (2025)
di: Horvat, Sebastijan, et al.
Pubblicazione: (2025)
Maximality Principles in Modal Logic and the Axiom of Choice
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)
Modular constructive Lyndon interpolation for nondistributive logics
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)
Modal Fragments
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2026)
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2026)
The Cardinalities of Intervals of Equational Theories and Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)
di: Aguilera, Juan P., et al.
Pubblicazione: (2026)
Six Proofs of Interpolation for the Modal Logic K
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2025)
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2025)
Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
di: Kurahashi, Taishi
Pubblicazione: (2024)
di: Kurahashi, Taishi
Pubblicazione: (2024)
The interpolant existence problem for weak K4 and difference logic
di: Kurucz, Agi, et al.
Pubblicazione: (2024)
di: Kurucz, Agi, et al.
Pubblicazione: (2024)
Provability interpretation of non-normal modal logics having neighborhood semantics
di: Kogure, Haruka
Pubblicazione: (2025)
di: Kogure, Haruka
Pubblicazione: (2025)
Intrinsic and relative characterization results for logics with negative modalities
di: de Groot, Jim, et al.
Pubblicazione: (2025)
di: de Groot, Jim, et al.
Pubblicazione: (2025)
A non-uniform view of Craig interpolation in modal logics with linear frames
di: Kurucz, Agi, et al.
Pubblicazione: (2023)
di: Kurucz, Agi, et al.
Pubblicazione: (2023)
Colimits of Heyting Algebras through Esakia Duality
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2024)
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2024)
A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
di: Su, Youan
Pubblicazione: (2025)
di: Su, Youan
Pubblicazione: (2025)
On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)
di: Kontinen, Juha, et al.
Pubblicazione: (2026)
Uniform interpolation with constructive diamond
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)
Quantum modal logic
di: Tokuo, Kenji
Pubblicazione: (2025)
di: Tokuo, Kenji
Pubblicazione: (2025)
Craig interpolation theorem fails in bi-intuitionistic predicate logic
di: Olkhovikov, Grigory K., et al.
Pubblicazione: (2022)
di: Olkhovikov, Grigory K., et al.
Pubblicazione: (2022)
Tableau methodology for propositional logics
di: Jarmuzek, T., et al.
Pubblicazione: (2025)
di: Jarmuzek, T., et al.
Pubblicazione: (2025)
A generalization of de Vries duality to closed relations between compact Hausdorff spaces
di: Abbadini, Marco, et al.
Pubblicazione: (2022)
di: Abbadini, Marco, et al.
Pubblicazione: (2022)
Intuitionistic logic, dual intuitionistic logic, and modality
di: Aryal, Safal Raman
Pubblicazione: (2024)
di: Aryal, Safal Raman
Pubblicazione: (2024)
The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)
di: Bonanno, Giacomo
Pubblicazione: (2026)
A logic for default deontic reasoning
di: Piazza, Mario, et al.
Pubblicazione: (2025)
di: Piazza, Mario, et al.
Pubblicazione: (2025)
Modal definability in Euclidean modal logics
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)
Filling in the semantics for intuitionistic conditional logic
di: Dufty, Brendan, et al.
Pubblicazione: (2025)
di: Dufty, Brendan, et al.
Pubblicazione: (2025)
Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)
di: Rybakov, Mikhail
Pubblicazione: (2025)
Extended multi-adjoint logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)
Blok-Esakia Theorems via Stable Canonical Rules
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2022)
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2022)
Superabelian logics
di: Cintula, Petr, et al.
Pubblicazione: (2024)
di: Cintula, Petr, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Superamalgamation for modal lattices via non-distributive dualities
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2026) -
A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024) -
Structural Completeness in bi-IPC
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025) -
First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024) -
Esakia order-compactifications and locally Esakia spaces
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2025)