A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics by Dakai Guo, Wensheng Yu

Subjects: Get full text

The Logic of Homophily Dynamics in Heterogeneous Networks: Axiomatization, Model Checking and Validity Checking by Xiling Luo

Subjects: Get full text