Copertina

Corrigendum & Addendum to: Variations on a Visserian theme

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Enayat, Ali
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
di: Enayat, Ali, et al.
Pubblicazione: (2026)

Tarskian truth theories over set theory
di: Enayat, Ali
Pubblicazione: (2026)

Models of Set Theory: Extensions and Dead-ends
di: Enayat, Ali
Pubblicazione: (2024)

The Mostowski Bridge
di: Enayat, Ali
Pubblicazione: (2025)

Incompleteness of boundedly axiomatizable theories
di: Enayat, Ali, et al.
Pubblicazione: (2023)

Satisfaction classes with approximate disjunctive correctness
di: Enayat, Ali
Pubblicazione: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
di: Enayat, Ali, et al.
Pubblicazione: (2025)

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

Variations on distributed belief
di: Lindqvist, John, et al.
Pubblicazione: (2024)

Corrigendum to "Kim-independence in positive logic"
di: Dobrowolski, Jan, et al.
Pubblicazione: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
di: Wernhard, Christoph
Pubblicazione: (2026)

Corrigendum to `Evaluation of motivic functions, non-nullity, and integrability in fibers', Advances in Mathematics, Vol. 409, Part A, Paper No. 108635, 29 pages, doi:10.1016/j.aim.2022.108635 (2022)
di: Cluckers, Raf, et al.
Pubblicazione: (2026)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
di: Bilotta, Antonella
Pubblicazione: (2025)

Equivalence of multiset-based consequence relations
di: Madanshekaf, Ali, et al.
Pubblicazione: (2024)

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Existential and positive games: a comonadic and axiomatic view
di: Abramsky, Samson, et al.
Pubblicazione: (2025)

First-order Logic with Being a Thesis Modal Operator
di: Łyczak, Marcin
Pubblicazione: (2024)

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

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
di: Liang, Xiaolong, et al.
Pubblicazione: (2024)

Obligations and permissions on selfextensional logics
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

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

Approaching the Conway-99 problem using SAT solvers
di: Keramatipour, Ali
Pubblicazione: (2026)

Obligations and permissions, algebraically
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Normative implications
di: De Domenico, Andrea, 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)

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)

A Dual-Threshold Probabilistic Knowing Value Logic
di: Wang, Shanxia
Pubblicazione: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
di: de Groot, Jim, et al.
Pubblicazione: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
di: Geuvers, Herman
Pubblicazione: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
di: Wang, Shanxia
Pubblicazione: (2026)

Decidability of Quantum Modal Logic
di: Tokuo, Kenji
Pubblicazione: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)