-
Views
-
Cite
Cite
Antoine Martina, Alexander Steen, An encoding of abstract dialectical frameworks into higher-order logic, Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exad079, https://doi.org/10.1093/logcom/exad079
- Share Icon Share
Abstract
An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented. Important properties and semantic relationships are formally encoded and proven using the proof assistant Isabelle/HOL. This approach allows for the computer-assisted analysis of abstract dialectical frameworks using automated and interactive reasoning tools within a uniform logic environment. Exemplary applications include the formal analysis and verification of meta-theoretical properties, and the generation of interpretations and extensions under specific semantic constraints.