Cover Image

A proof-theoretical approach to some extensions of first order quantification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Allègre, Loïc, Lacroix, Ophélie, Retoré, Christian
Format:	Preprint
Published:	2024
Subjects:	Logic Logic in Computer Science 03B16, 03B65, 03B70
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

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

Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
by: Coniglio, Marcelo E., et al.
Published: (2024)

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

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

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

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

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

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

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Modal Separability of Fixpoint Formulae
by: Jung, Jean Christoph, et al.
Published: (2024)

The Polynomial Hierarchy and $ω$-categorical CSPs
by: Pro, Santiago Guzmán, et al.
Published: (2026)

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)

Swap Kripke models for deontic LFIs
by: Vaz, Mahan, et al.
Published: (2025)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Hereditary First-Order Logic: the tractable quantifier prefix classes
by: Bodirsky, Manuel, et al.
Published: (2024)

On the Computational Power of Extensional ESO
by: Bodirsky, Manuel, et al.
Published: (2025)

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

The fork and its role in unification of closure algebras
by: Düntsch, Ivo, et al.
Published: (2023)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

Evaluation trees for proposition algebra
by: Bergstra, Jan A., et al.
Published: (2015)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)

Domains and Classifying Topoi
by: Sterling, Jonathan, et al.
Published: (2025)

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

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)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
by: Olkhovikov, Grigory
Published: (2024)