Keyword:propositional logic

Papers
On Reasoning about Access to Knowledge Yakoub Salhi In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
RAT Elimination Adrián Rebola-Pardo and Georg Weissenbacher In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Propositional Logic of Nucleotide and Amino Acid Sequences Pedro Cano and Ratilal Akabari EasyChair Preprint no. 1822