Copertina

An anomaly in diagonalization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Parent, T.
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
di: Parent, Xavier
Pubblicazione: (2026)

Dyadic obligations: proofs and countermodels via hypersequents
di: Ciabattoni, Agata, et al.
Pubblicazione: (2024)

Substructural fixed-point theorems and the diagonal argument: theme and variations
di: Roberts, David Michael
Pubblicazione: (2021)

List types for resource aware languages: an implicit name approach
di: Ghilezan, Silvia, et al.
Pubblicazione: (2021)

Bijective proofs for Eulerian numbers of types B and D
di: Santocanale, Luigi
Pubblicazione: (2021)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
di: de Groot, Jim, et al.
Pubblicazione: (2021)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
di: Hartonas, Chrysafis
Pubblicazione: (2021)

Computing with Infinite Objects: the Gray Code Case
di: Spreen, Dieter, et al.
Pubblicazione: (2021)

Cyclic Implicit Complexity
di: Curzi, Gianluca, et al.
Pubblicazione: (2021)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
di: Oda, Yukihiro, et al.
Pubblicazione: (2021)

Dynamic Cantor Derivative Logic
di: Fernández-Duque, David, et al.
Pubblicazione: (2021)

On Small Types in Univalent Foundations
di: de Jong, Tom, et al.
Pubblicazione: (2021)

Universal Horn Sentences and the Joint Embedding Property
di: Bodirsky, Manuel, et al.
Pubblicazione: (2021)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Demystifying $μ$
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
di: Hansen, Helle Hvid, et al.
Pubblicazione: (2025)

Generalized Decidability via Brouwer Trees
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
di: Herbelin, Hugo
Pubblicazione: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
di: Powell, Thomas
Pubblicazione: (2023)

The strength of the dominance rule
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2024)

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

A concrete model for a typed linear algebraic lambda calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

Countability constraints in order-theoretic approaches to computability
di: Hack, Pedro, et al.
Pubblicazione: (2022)

The subTuring degrees
di: Kihara, Takayuki, et al.
Pubblicazione: (2024)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

On semantics of first-order justification logic with binding modalities
di: Yavorskaya, Tatiana, et al.
Pubblicazione: (2025)

Basis-Sensitive Quantum Typing via Realisability
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2025)

An abstract fixed-point theorem for Horn formula equations
di: Hetzl, Stefan, et al.
Pubblicazione: (2025)

Uniform interpolation with constructive diamond
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)