On expressive rule-based logics

Download PDF
Open Webpage

Antti Kuusisto

Published: 2022, Last Modified: 04 Jul 2024CoRR 2022EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: 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.