:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Gheorghiu, Alexander V.
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Logic
Acceso en línea:	https://arxiv.org/abs/2603.13018
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Proof-theoretic Semantics for First-order Logic
por: Gheorghiu, Alexander V.
Publicado: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

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

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2022)

Semantic Foundations of Reductive Reasoning
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
por: Gu, Tao, et al.
Publicado: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)

Verification of Robust Properties for Access Control Policies
por: Gheorghiu, Alexander V.
Publicado: (2026)

Inferentialist Resource Semantics
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

A Note on the Practice of Logical Inferentialism
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

On the Logical Content of Knowledge Bases
por: Gheorghiu, Alexader V., et al.
Publicado: (2025)

In Defence of the Material Conditional
por: Gheorghiu, Alexander V.
Publicado: (2026)

On the Concept of Arithmetic Conseqeunce
por: Gheorghiu, Alexander V.
Publicado: (2026)

Classical Logic without Bivalance
por: Gheorghiu, Alexander V.
Publicado: (2025)

On an Inferential Semantics for Intuitionistic Sentential Logic
por: Gheorghiu, Alexander V.
Publicado: (2025)

A Note on an Inferentialist Approach to Resource Semantics
por: Gheorghiu, Alexander V., et al.
Publicado: (2024)

Bringing closure to theory combination properties
por: Toledo, Guilherme V., et al.
Publicado: (2026)

Shininess, strong politeness, and unicorns
por: Przybocki, Benjamin, et al.
Publicado: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
por: Przybocki, Benjamin, et al.
Publicado: (2025)

Being polite is not enough (and other limits of theory combination)
por: Toledo, Guilherme V., et al.
Publicado: (2025)

Many-valued coalgebraic logic over semi-primal varieties
por: Kurz, Alexander, et al.
Publicado: (2023)

Sequent Calculi for Data-Aware Modal Logics
por: Areces, Carlos, et al.
Publicado: (2025)

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

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

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

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

A Dual-Threshold Probabilistic Knowing Value Logic
por: Wang, Shanxia
Publicado: (2026)

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

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

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

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

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

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

Decidability of Quantum Modal Logic
por: Tokuo, Kenji
Publicado: (2026)

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

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

The Complexity of the Constructive Master Modality
por: Santiago-Fernández, Sofía, et al.
Publicado: (2026)

Intentic Semantics for Potentialist Truthmaking
por: Gorbow, Paul
Publicado: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

A Logic of Secrecy on Simplicial Models
por: Wang, Shanxia
Publicado: (2026)