Skip to content
conftrace_

countermodel generation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

intuitionistic propositional logic (1) minimal model generation (1) counterexample generation (1) intuitionistic logic (1) kripke semantics (1) minimal model (1) model generation (1) answer set programming (1)

Papers

An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic IJCAI 2019