:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Holliday, Wesley H.
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science 03B65, 03B60 F.4.m
Online Access:	https://arxiv.org/abs/2412.00356
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Orthologic of Epistemic Modals
by: Holliday, Wesley H., et al.
Published: (2022)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
by: Häggblom, Matilda
Published: (2025)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

The Syllogistic with Unity
by: Pratt-Hartmann, Ian
Published: (2011)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

Convex Team Logics
by: Anttila, Aleksi, et al.
Published: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
by: Gabbay, Murdoch J., et al.
Published: (2025)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

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

First-Order Fischer Servi Logic
by: Christensen, Ahmee
Published: (2024)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

Plausible Reasoning and First-Order Plausible Logic
by: Billington, David
Published: (2026)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
by: Liu, Zhangchi
Published: (2025)

Approximate Axiomatization for Differentially-Defined Functions
by: Platzer, André, et al.
Published: (2025)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
by: Galliani, Pietro
Published: (2025)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

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

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)