Image de couverture de livre

A Note on Proper Relational Structures

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bjorndahl, Adam, Sink, Philip
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Logic 03B42 F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Belief in Simplicial Complexes
par: Sink, Philip, et autres
Publié: (2025)

Support + Belief = Decision Trust
par: Aldini, Alessandro, et autres
Publié: (2024)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
par: Rahnama, Moses
Publié: (2025)

Conjunctive categorial grammars and Lambek grammars with additives
par: Kuznetsov, Stepan L., et autres
Publié: (2024)

Glivenko's theorems from an ecumenical perspective
par: Pereira, Luiz Carlos, et autres
Publié: (2026)

Normal forms in cubical type theory
par: Huang, Xu
Publié: (2026)

Finite Hilbert systems for Weak Kleene logics
par: Greati, Vitor, et autres
Publié: (2024)

Knowability as continuity: a topological account of informational dependence
par: Baltag, Alexandru, et autres
Publié: (2024)

Axiomatizing the Logic of Ordinary Discourse
par: Greati, Vitor, et autres
Publié: (2024)

Generating proof systems for three-valued propositional logics
par: Greati, Vitor, et autres
Publié: (2024)

Reasoning Around Paradox with Grounded Deduction
par: Ford, Bryan
Publié: (2024)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
par: Nakamura, Yuki
Publié: (2026)

First-Order Fischer Servi Logic
par: Christensen, Ahmee
Publié: (2024)

Relational Models for the Lambek Calculus with Intersection and Constants
par: Kuznetsov, Stepan L.
Publié: (2022)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
par: Borzechowski, Manfred, et autres
Publié: (2025)

Sheaves as oracle computations
par: Ahman, Danel, et autres
Publié: (2026)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
par: Shamkanov, Daniyar
Publié: (2021)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
par: Hori, Hiromasa, et autres
Publié: (2023)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
par: Cerda, Rémy, et autres
Publié: (2022)

Inclusion with repetitions and Boolean constants -- implication problems revisited
par: Häggblom, Matilda
Publié: (2025)

Axiomatizing approximate inclusion
par: Häggblom, Matilda
Publié: (2025)

Axiomatization of approximate exclusion
par: Häggblom, Matilda
Publié: (2024)

FMP for QD logics. A wrong proof
par: Gasquet, Olivier
Publié: (2025)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
par: Poernomo, Iman
Publié: (2025)

On the expressive power of inquisitive epistemic logic
par: Ciardelli, Ivano, et autres
Publié: (2023)

Proof Compression via Subatomic Logic and Guarded Substitutions
par: Barrett, Victoria, et autres
Publié: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
par: Puljujärvi, Joni, et autres
Publié: (2026)

Complexity of some modal logics of density (extended version)
par: Balbiani, Philippe, et autres
Publié: (2025)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
par: Gasquet, Olivier
Publié: (2025)

ASP Chef grows Mustache to look better
par: Alviano, Mario, et autres
Publié: (2025)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
par: Cerda, Rémy, et autres
Publié: (2023)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
par: Bezem, Marc, et autres
Publié: (2022)

A Guide to Krivine Realizability for Set Theory
par: Matthews, Richard
Publié: (2023)

Effective bases and notions of effective second countability in computable analysis
par: Brattka, Vasco, et autres
Publié: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

Local-Order-Invariant Logic on Classes of Bounded Degree
par: Aoki, Derek
Publié: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
par: Anttila, Aleksi, et autres
Publié: (2025)