Keyword:axiom

Publications
Axiomatical Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint 6192
Proof rules for the dialogical logic N Jesse Alama and Sara L. Uckelman In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.