On expressive rule-based logics

02/03/2022

∙

We investigate a family of rule-based logics. The focus is on very expressive languages. We provide a range of characterization results for the expressive powers of the logics and relate them with corresponding game systems.

READ FULL TEXT

On expressive rule-based logics

Relative Expressiveness of Defeasible Logics II

On Nested Justification Systems (full version)

Decidable Exponentials in Nonassociative Noncommutative Linear Logic

Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition

DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)

Characterizing the Program Expressive Power of Existential Rule Languages

Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation

On expressive rule-based logics

Related Research

Relative Expressiveness of Defeasible Logics II

On Nested Justification Systems (full version)

Decidable Exponentials in Nonassociative Noncommutative Linear Logic

Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition

DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)

Characterizing the Program Expressive Power of Existential Rule Languages

Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation