Copertina

Preconditionals

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Holliday, Wesley H.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03B20, 03G10, 06B15, 06B23, 06C15, 06D20 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Implications in pseudocomplemented and Stone lattices
di: Chajda, Ivan, et al.
Pubblicazione: (2024)

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

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
di: Lin, Chun-Yu, et al.
Pubblicazione: (2025)

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

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

A new proof of Funayama's theorem
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2026)

Correspondence Theory for Many-valued Modal Logic
di: Britz, Cecelia, et al.
Pubblicazione: (2024)

Varieties generated by completions
di: Andréka, H., et al.
Pubblicazione: (2018)

Generalizations of The Finite Height Criterion for Local Tabularity
di: Shapirovsky, Ilya B.
Pubblicazione: (2025)

Two-dimensional Kripke Semantics I: Presheaves
di: Kavvos, G. A.
Pubblicazione: (2024)

Two-dimensional Kripke Semantics II: Stability and Completeness
di: Kavvos, G. A.
Pubblicazione: (2024)

Free algebras and coproducts in varieties of Gödel algebras
di: Carai, Luca
Pubblicazione: (2024)

Embeddings into the generic poset
di: Kwiatkowska, Aleksandra, et al.
Pubblicazione: (2025)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
di: Kowalski, Tomasz, et al.
Pubblicazione: (2024)

Unorthodox Algebras and their associated Unorthodox Logics
di: Sankappanavar, Hanamantagouda P.
Pubblicazione: (2025)

Connexive logics and connexive semi-Heyting algebras
di: Cornejo, Juan M., et al.
Pubblicazione: (2025)

Intuitionism and computing with partial information
di: Ganchev, Hristo, et al.
Pubblicazione: (2026)

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

Uniform Interpolation
di: van Gool, Sam
Pubblicazione: (2025)

Quasivarieties of p-algebras: some new results
di: Kowalski, Tomasz, et al.
Pubblicazione: (2024)

On $\mathscr{T}$-based orthomodular dynamic algebras
di: Paseka, Jan, et al.
Pubblicazione: (2026)

The logic of bunched implications is undecidable
di: Galatos, Nick, et al.
Pubblicazione: (2026)

Locally Integral Involutive PO-Semigroups
di: Gil-Férez, José, et al.
Pubblicazione: (2023)

Intuitionistic Sahlqvist theory for deductive systems
di: Fornasiere, Damiano, et al.
Pubblicazione: (2022)

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

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

The prime spectrum of an $L$-algebra
di: Rump, W., et al.
Pubblicazione: (2022)

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

Decidable varieties of p-algebras
di: Kowalski, Tomasz, et al.
Pubblicazione: (2024)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
di: Fusco, Ludovico, et al.
Pubblicazione: (2025)

Degree of Satisfiability in Heyting Algebras
di: Bumpus, Benjamin Merlin, et al.
Pubblicazione: (2021)

Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)

Degrees of join-distributivity via Bruns-Lakser towers
di: Bezhanishvili, G., et al.
Pubblicazione: (2024)

Quantales carrying ortholattice structure
di: Botur, Michal, et al.
Pubblicazione: (2026)

An explicit Kuznetsov-Muravitsky enrichment
di: Jibladze, Mamuka, et al.
Pubblicazione: (2024)

Sufficient conditions for local tabularity of a polymodal logic
di: Shapirovsky, Ilya B.
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)