Buchumschlag

AC and the Independence of WO in Second-Order Henkin Logic, Part II

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gaßner, Christine
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AC and the Independence of WO in Second-Order Henkin Logic, Part I
von: Gaßner, Christine
Veröffentlicht: (2024)

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic
von: Gaßner, Christine
Veröffentlicht: (2024)

Relationships between Principles of Choice in Second-Order Henkin Structures
von: Gaßner, Christine
Veröffentlicht: (2024)

Permutation Models of Second Order
von: Gaßner, Christine
Veröffentlicht: (2024)

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

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)

Rich doctrines and Henkin's Theorem
von: Guffanti, Francesca
Veröffentlicht: (2023)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
von: Herbelin, Hugo, et al.
Veröffentlicht: (2024)

The Parameterized Complexity of Learning Monadic Second-Order Logic
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2023)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
von: Costa, Simone, et al.
Veröffentlicht: (2025)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2020)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
von: Simpson, Alex
Veröffentlicht: (2024)

The Complexity and Expressive Power of Second-Order Extended Logic
von: Feng, Shiguang, et al.
Veröffentlicht: (2022)

Comodule Representations of Second-Order Functionals
von: Ahman, Danel, et al.
Veröffentlicht: (2024)

Goodstein at the Second Threshold: An Independence Result for $ID_2$
von: Gjetaj, Oriola, et al.
Veröffentlicht: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

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

Wright's First-Order Logic of Strict Finitism
von: Yamada, Takahiro
Veröffentlicht: (2024)

Distributed First Order Logic
von: Ghidini, Chiara, et al.
Veröffentlicht: (2015)

Interpolation in First-Order Logic
von: Cate, Balder ten, et al.
Veröffentlicht: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

Approximate Completeness of Hypersequent Calculus for First-Order Łukasiewicz Logic
von: Wei, Jin
Veröffentlicht: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Kuroda's Translation for Higher-Order Logic
von: Traversié, Thomas
Veröffentlicht: (2024)

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
von: Antunes, Henrique, et al.
Veröffentlicht: (2024)

Local-Order-Invariant Logic on Classes of Bounded Degree
von: Aoki, Derek
Veröffentlicht: (2025)

Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
von: Rodrigues, Abilio, et al.
Veröffentlicht: (2026)

The Complexity of Fragments of Second-Order HyperLTL
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
von: Nishimura, Yuki
Veröffentlicht: (2024)

Syntactic Effectful Realizability in Higher-Order Logic
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

On the Satisfiability of Local First-Order Logics with Data
von: Bollig, Benedikt, et al.
Veröffentlicht: (2023)

First-Order Fischer Servi Logic
von: Christensen, Ahmee
Veröffentlicht: (2024)

Logic of the Great, Logic of the Wise 2
von: Fedorchenko, Mikhail
Veröffentlicht: (2026)

Aristotle's Second-Order Logic and Natural Deduction
von: Protin, Clarence
Veröffentlicht: (2023)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)