Camillo Fiorentini

An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic

2019

Intuitionistic Propositional Logic is complete w.r.t. Kripke semantics: if a formula is not intuitionistically valid, then there exists a finite Kripke model falsifying it. The problem of obtaining concise models has been scarcely investigated in …