Cover Image

Equational and Inductive Reasoning for Maude in Athena

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sanabria, Mateo, Varela, Carlos, Rocha, Camilo, Cardozo, Nicolas
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rewriting and Inductive Reasoning
by: Hajdu, Márton, et al.
Published: (2024)

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
by: Dardik, Ian, et al.
Published: (2025)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
by: Meseguer, Jose
Published: (2024)

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

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
by: Olarte, Carlos, et al.
Published: (2024)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
by: van Collem, Simcha, et al.
Published: (2025)

Topological Semantics for Common Inductive Knowledge
by: Namachivayam, Siddharth
Published: (2026)

Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)

Property Checking Without Inductive Invariants
by: Goldberg, Eugene
Published: (2016)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

The Size-Change Principle for Mixed Inductive and Coinductive types
by: Hyvernat, Pierre
Published: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
by: Su, Wanyun, et al.
Published: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
by: Sangiorgi, Davide
Published: (2024)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
by: Bronsveld, Steven, et al.
Published: (2025)

Temporal Inductive Logic Reasoning over Hypergraphs
by: Yang, Yuan, et al.
Published: (2022)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
by: Caires-Santos, Ali K., et al.
Published: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
by: Ratschan, Stefan, et al.
Published: (2026)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
by: Affeldt, Reynald, et al.
Published: (2023)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
by: Chardonnet, Kostia, et al.
Published: (2023)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
by: Johnson, Blair, et al.
Published: (2025)

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

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
by: Gilda, Sankalp, et al.
Published: (2026)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

Can LLM Aid in Solving Constraints with Inductive Definitions?
by: Feng, Weizhi, et al.
Published: (2026)

Differentiable Inductive Logic Programming in High-Dimensional Space
by: Purgał, Stanisław J., et al.
Published: (2022)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
by: Gladyshev, Maksim, et al.
Published: (2025)

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

The Maude strategy language
by: Eker, Steven, et al.
Published: (2024)

Solving Homotopy Domain Equations
by: Martínez-Rivillas, Daniel O., et al.
Published: (2021)

Operations on Fixpoint Equation Systems
by: Neele, Thomas, et al.
Published: (2023)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
by: Torres-Ruiz, Mateo, et al.
Published: (2025)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals
by: Aguilera-Ventura, Carlos, et al.
Published: (2025)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
by: Freiman, Robert, et al.
Published: (2024)

Structural Analysis of Boolean Equation Systems
by: Keiren, Jeroen, et al.
Published: (2010)

Equational Theorem Proving for Clauses over Strings
by: Kim, Dohan
Published: (2023)