Buchumschlag

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Holliday, Wesley H.
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic Logic in Computer Science 06B15, 06B23, 06C15, 06D15, 06D20, 06D22, 06E15, 06E25, 03B45, 03G10 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Preconditionals
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Implications in pseudocomplemented and Stone lattices
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Correspondence Theory for Many-valued Modal Logic
von: Britz, Cecelia, et al.
Veröffentlicht: (2024)

Local finiteness in varieties of MS4-algebras
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

Local tabularity in MS4 with Casari's axiom
von: Meadors, Chase
Veröffentlicht: (2024)

Free algebras and coproducts in varieties of Gödel algebras
von: Carai, Luca
Veröffentlicht: (2024)

Degrees of join-distributivity via Bruns-Lakser towers
von: Bezhanishvili, G., et al.
Veröffentlicht: (2024)

On the structure of modal and tense operators on a boolean algebra
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

A calculus for modal compact Hausdorff spaces
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
von: Sankappanavar, Hanamantagouda P.
Veröffentlicht: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

A new proof of Funayama's theorem
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2026)

Connexive logics and connexive semi-Heyting algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2025)

Varieties generated by completions
von: Andréka, H., et al.
Veröffentlicht: (2018)

On the symmetry behind duality
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness
von: Bezhanishvili, G., et al.
Veröffentlicht: (2024)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
von: Lin, Chun-Yu, et al.
Veröffentlicht: (2025)

Unorthodox Algebras and their associated Unorthodox Logics
von: Sankappanavar, Hanamantagouda P.
Veröffentlicht: (2025)

Properties of the symmetric difference in lattices with complementation
von: Cenker, Václav, et al.
Veröffentlicht: (2025)

MV-frames
von: Nganou, Jean B
Veröffentlicht: (2024)

Monadic ortholattices: completions and duality
von: Harding, John, et al.
Veröffentlicht: (2024)

Duality Theory for Bounded Lattices: A Comparative Study
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

Locally Integral Involutive PO-Semigroups
von: Gil-Férez, José, et al.
Veröffentlicht: (2023)

Stone type representation theorems via games
von: Aslan, Tuğba, et al.
Veröffentlicht: (2018)

Quasivarieties of p-algebras: some new results
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

Term algebras of elementarily equivalent atom structures
von: Andréka, H., et al.
Veröffentlicht: (2018)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
von: Coquand, Thierry, et al.
Veröffentlicht: (2017)

Operators Max L and Min U and duals of Boolean posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2025)

On distance logics of Euclidean spaces
von: Agnew, Gabriel, et al.
Veröffentlicht: (2025)

Embeddings into the generic poset
von: Kwiatkowska, Aleksandra, et al.
Veröffentlicht: (2025)

Two-dimensional Kripke Semantics I: Presheaves
von: Kavvos, G. A.
Veröffentlicht: (2024)

A mixed logic with binary operators
von: Düntsch, Ivo, et al.
Veröffentlicht: (2024)

Modal logic, fundamentally
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Esakia order-compactifications and locally Esakia spaces
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
von: Shamkanov, Daniyar
Veröffentlicht: (2021)

Generalizations of The Finite Height Criterion for Local Tabularity
von: Shapirovsky, Ilya B.
Veröffentlicht: (2025)