Copertina

Canonicity in power and modal logics of finite achronal width

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Goldblatt, Robert, Hodkinson, Ian
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic Logic in Computer Science 03B45, 06E25
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

A mixed logic with binary operators
di: Düntsch, Ivo, et al.
Pubblicazione: (2024)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
di: Tanaka, Yoshihito
Pubblicazione: (2025)

Local finiteness in varieties of MS4-algebras
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2023)

On distance logics of Euclidean spaces
di: Agnew, Gabriel, et al.
Pubblicazione: (2025)

Local tabularity in MS4 with Casari's axiom
di: Meadors, Chase
Pubblicazione: (2024)

A calculus for modal compact Hausdorff spaces
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

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

The Monadic Grzegorczyk Logic
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2025)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
di: Holliday, Wesley H.
Pubblicazione: (2022)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
di: Knudstorp, Søren Brinck
Pubblicazione: (2025)

Failure of the Blok-Esakia Theorem in the monadic setting
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Term algebras of elementarily equivalent atom structures
di: Andréka, H., et al.
Pubblicazione: (2018)

Stone type representation theorems via games
di: Aslan, Tuğba, et al.
Pubblicazione: (2018)

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
di: Shamkanov, Daniyar
Pubblicazione: (2021)

A meta-modal logic for bisimulations
di: Burrieza, Alfredo, et al.
Pubblicazione: (2025)

Models for the common knowledge logic
di: Tanaka, Yoshihito
Pubblicazione: (2024)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
di: Coniglio, Marcelo E.
Pubblicazione: (2023)

A non-uniform view of Craig interpolation in modal logics with linear frames
di: Kurucz, Agi, et al.
Pubblicazione: (2023)

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

Modal logic, fundamentally
di: Holliday, Wesley H.
Pubblicazione: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
di: Knudstorp, Søren Brinck
Pubblicazione: (2025)

Monotonicity versus positivity in modal logics
di: Dvorkin, Lev
Pubblicazione: (2026)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
di: Shapirovsky, Ilya B., et al.
Pubblicazione: (2025)

Forcing More DC Over the Chang Model Using the Thorn Sequence
di: Holland, James, et al.
Pubblicazione: (2022)

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
di: Banerjee, Amitayu, et al.
Pubblicazione: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

New inner models from second order logics
di: Magidor, Menachem, et al.
Pubblicazione: (2025)

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
di: Ghari, Meghdad
Pubblicazione: (2021)

Classification and deontic explosion for contrary-to-duty obligations
di: Kjos-Hanssen, Bjørn
Pubblicazione: (2026)

Logics of False Belief and Radical Ignorance
di: Fan, Jie
Pubblicazione: (2024)

A note on the theory of well orders
di: Jeřábek, Emil
Pubblicazione: (2024)

Complexity of some modal logics of density (extended version)
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

A classical-logic view on a paraconsistent logic
di: Middelburg, C. A.
Pubblicazione: (2020)

On the structure of modal and tense operators on a boolean algebra
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2023)

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

The modal theory of linear orders
di: Wołoszyn, Wojciech Aleksander
Pubblicazione: (2026)

Strong completeness of a first-order temporal logic for real time
di: Goldblatt, Robert
Pubblicazione: (2023)