Synthesizing Axiomatizations using Logic Learning

This is the artifact evaluation Docker image of our paper, Synthesizing Axiomatizations using Logic Learning.

Please see the README.md file inside the compressed tarball for usage of the artifact.

The following is the abstract of our paper:

Axioms and inference rules form the foundation of deductive systems
and are crucial in the study of reasoning with logics over structures.
Historically, axiomatizations have been discovered manually with much
effort. In this paper, we show the feasibility of using synthesis
techniques to discover axiomatizations for different classes of
structures, and in some contexts, automatically prove their
completeness. For evaluation, we applied our technique to find axioms
for (1) classes of frames in modal logic characterized in first-order
logic and (2) the class of language models with regular operations.