:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bezhanishvili, N., Martins, M., Moraschini, T.
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2211.14776
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

There are only countably many locally tabular bi-intermediate logics of co-trees
von: Martins, Miguel
Veröffentlicht: (2026)

Degrees of the finite model property: the antidichotomy theorem
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
von: Martins, Miguel, et al.
Veröffentlicht: (2024)

The Baire closure and its logic
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2021)

Fischer-Servi logic does not have interpolation
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

Tabular intermediate logics comparison
von: Rzążewski, Paweł, et al.
Veröffentlicht: (2025)

A logic of co-valuations
von: Malicki, Maciej
Veröffentlicht: (2025)

On the universal theory of the free pseudocomplemented distributive lattice
von: Carai, Luca, et al.
Veröffentlicht: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Bi-intuitionistic logics through the abstract algebraic logic lens
von: Deakin, Jonte, et al.
Veröffentlicht: (2025)

S4 modal sequent calculus as intermediate logic and intermediate language
von: Caspar, Jean, et al.
Veröffentlicht: (2026)

Trees and spectra of Heyting algebras
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2024)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
von: Kurahashi, Taishi
Veröffentlicht: (2024)

Infinite trees
von: Goy, Alexandre
Veröffentlicht: (2025)

Congruence permutability in quasivarieties
von: Carai, Luca, et al.
Veröffentlicht: (2025)

Bounded depth in Hilbert algebras
von: Carai, Luca, et al.
Veröffentlicht: (2026)

Structural Completeness in bi-IPC
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

The theory of implicit operations
von: Carai, Luca, et al.
Veröffentlicht: (2025)

An addendum to "The theory of implicit operations"
von: Carai, Luca, et al.
Veröffentlicht: (2025)

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

Diamonds on trees
von: Guzmán, Osvaldo, et al.
Veröffentlicht: (2025)

The Cardinalities of Intervals of Equational Theories and Logics
von: Aguilera, Juan P., et al.
Veröffentlicht: (2026)

Superamalgamation for modal lattices via non-distributive dualities
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

On Many-logic modal structures and information-based logics
von: Martins, Manuel, et al.
Veröffentlicht: (2026)

Bi-invariant types, reliably invariant types, and the comb tree property
von: Hanson, James E.
Veröffentlicht: (2023)

On describing trees and quasi-trees from their leaves
von: Courcelle, Bruno
Veröffentlicht: (2025)

A categorical description of simple Beth companions
von: Carai, Luca, et al.
Veröffentlicht: (2026)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
von: Abbadini, Marco, 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)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

Partition theorems for expanded trees
von: Shelah, Saharon
Veröffentlicht: (2021)

Hofmann-Mislove through the Lenses of Priestley
von: Bezhanishvili, G., et al.
Veröffentlicht: (2022)

Six Proofs of Interpolation for the Modal Logic K
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)

Syntax and semantics of multi-adjoint normal logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)