TL;DR
This paper explores highly expressive rule-based logics, providing characterization results and relating their expressive power to game systems, advancing understanding of their capabilities.
Contribution
It introduces a detailed analysis of the expressive power of rule-based logics and connects these with game-theoretic frameworks, offering new insights.
Findings
Characterization of expressive power of rule-based logics
Relation between logics and game systems established
Enhanced understanding of logic expressiveness
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Logic, programming, and type systems