Cover Image

Bi-intermediate logics of trees and co-trees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bezhanishvili, N., Martins, M., Moraschini, T.
Format:	Preprint
Published:	2022
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

There are only countably many locally tabular bi-intermediate logics of co-trees
by: Martins, Miguel
Published: (2026)

Degrees of the finite model property: the antidichotomy theorem
by: Bezhanishvili, Guram, et al.
Published: (2023)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
by: Martins, Miguel, et al.
Published: (2024)

The Baire closure and its logic
by: Bezhanishvili, Guram, et al.
Published: (2021)

Fischer-Servi logic does not have interpolation
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)

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

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

A logic of co-valuations
by: Malicki, Maciej
Published: (2025)

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

On the universal theory of the free pseudocomplemented distributive lattice
by: Carai, Luca, et al.
Published: (2024)

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

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

Infinite trees
by: Goy, Alexandre
Published: (2025)

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

Trees and spectra of Heyting algebras
by: Fornasiere, Damiano, et al.
Published: (2024)

Congruence permutability in quasivarieties
by: Carai, Luca, et al.
Published: (2025)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

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

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
by: Bezhanishvili, Nick, et al.
Published: (2025)

Diamonds on trees
by: Guzmán, Osvaldo, et al.
Published: (2025)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
by: Nicoletti, Stefano M., et al.
Published: (2024)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)

Bi-invariant types, reliably invariant types, and the comb tree property
by: Hanson, James E.
Published: (2023)

The theory of implicit operations
by: Carai, Luca, et al.
Published: (2025)

An addendum to "The theory of implicit operations"
by: Carai, Luca, et al.
Published: (2025)

On describing trees and quasi-trees from their leaves
by: Courcelle, Bruno
Published: (2025)

The Cardinalities of Intervals of Equational Theories and Logics
by: Aguilera, Juan P., et al.
Published: (2026)

Superamalgamation for modal lattices via non-distributive dualities
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)

Partition theorems for expanded trees
by: Shelah, Saharon
Published: (2021)

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

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

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

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

On ideals related to Laver and Miller trees
by: Cieślak, Aleksander, et al.
Published: (2023)

Scott spectral gaps for trees are bounded
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Tableau methodology for propositional logics
by: Jarmuzek, T., et al.
Published: (2025)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
by: Abbadini, Marco, et al.
Published: (2022)

Syntax and semantics of multi-adjoint normal logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

The tree property on long intervals of regular cardinals
by: Cummings, James, et al.
Published: (2025)

A tree rewriting system for the Reflection Calculus
by: Santiago-Fernández, Sofía, et al.
Published: (2024)