Buchumschlag

Towards Weak Stratification for Logics of Definitions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Guermond, Nathan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science 03B70 F.4.1; D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ground Stratification for a Logic of Definitions with Induction
von: Guermond, Nathan, et al.
Veröffentlicht: (2025)

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
von: Nakamura, Yuki
Veröffentlicht: (2026)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
von: Poernomo, Iman
Veröffentlicht: (2025)

ASP Chef grows Mustache to look better
von: Alviano, Mario, et al.
Veröffentlicht: (2025)

Node Replication: Theory And Practice
von: Kesner, Delia, et al.
Veröffentlicht: (2022)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
von: Sochański, Michał, et al.
Veröffentlicht: (2025)

Uniform Substitution for Differential Refinement Logic
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
von: Hausmann, Daniel, et al.
Veröffentlicht: (2022)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

Representation Theorems for Cumulative Propositional Dependence Logics
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2026)

On the Complexity and Properties of Preferential Propositional Dependence Logic
von: Sauerwald, Kai, et al.
Veröffentlicht: (2025)

Modal logic, fundamentally
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

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

Robust Computation Tree Logic
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)

Modal Logics -- RNmatrices vs. Nmatrices
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2026)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
von: Waldinger, Richard
Veröffentlicht: (2025)

Axiomatizing the Logic of Ordinary Discourse
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

Finite Hilbert systems for Weak Kleene logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Extracting total Amb programs from proofs
von: Berger, Ulrich, et al.
Veröffentlicht: (2023)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)