Buchumschlag

Inexpressibility in Exp-Minus-Log

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Carney, Mark
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Operational Inexpressibility at the Step-Duplicating Primitive Recursor Orientation Boundary
von: Rahnama, Moses
Veröffentlicht: (2026)

Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime
von: Henne, Michał, et al.
Veröffentlicht: (2026)

ChemLog: Making MSOL Viable for Ontological Classification and Learning
von: Flügel, Simon, et al.
Veröffentlicht: (2025)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
von: Coquand, Thierry, et al.
Veröffentlicht: (2026)

Uniform interpolation with constructive diamond
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Intentic Semantics for Potentialist Truthmaking
von: Gorbow, Paul
Veröffentlicht: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

Support is Search
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
von: Férée, Hugo, et al.
Veröffentlicht: (2026)

Univalence without function extensionality
von: Cavallo, Evan, et al.
Veröffentlicht: (2026)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2026)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Speedability of computably approximable reals and their approximations
von: Barmpalias, George, et al.
Veröffentlicht: (2026)

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

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

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

Demystifying $μ$
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

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

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

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)