:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Blumensath, Achim
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Logic
Accès en ligne:	https://arxiv.org/abs/2505.22821
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Automata for Enriched Trees and Applications
par: Blumensath, Achim
Publié: (2025)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
par: Fuchser, Janne, et autres
Publié: (2025)

Separability Properties of Monadically Dependent Graph Classes
par: Bonnet, Édouard, et autres
Publié: (2025)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
par: Dreier, Jan, et autres
Publié: (2024)

Transductions of Graph Classes Admitting Product Structure
par: Hliněný, Petr, et autres
Publié: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
par: Lyon, Tim S.
Publié: (2022)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Deciding Termination of Simple Randomized Loops
par: Meyer, Éléanore, et autres
Publié: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

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

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
par: Hansen, Helle Hvid, et autres
Publié: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
par: Ayhan, Sara, et autres
Publié: (2025)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Basis-Sensitive Quantum Typing via Realisability
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)

Terminating Hybrid Tableaus for Ordered Models
par: Nishimura, Yuki
Publié: (2025)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Shininess, strong politeness, and unicorns
par: Przybocki, Benjamin, et autres
Publié: (2025)

Proofs that Modify Proofs, 1/2
par: Towsner, Henry
Publié: (2025)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

Constructive Ordinal Exponentiation
par: de Jong, Tom, et autres
Publié: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Prime Factorization in Models of PV$_1$
par: Ježil, Ondřej
Publié: (2025)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Realizing the totally unordered structure of ordinals
par: Fontanella, Laura, et autres
Publié: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

Bilateral base-extension semantics
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Infinite trees
par: Goy, Alexandre
Publié: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
par: Alvarez, David Quinn
Publié: (2025)

Difference-restriction algebras with operators
par: Borlido, Célia, et autres
Publié: (2025)

Unravelling Cyclic First-Order Arithmetic
par: Leigh, Graham E., et autres
Publié: (2025)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
par: Pinsker, Michael, et autres
Publié: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)