Skip to content
conftrace_

intuitionistic propositional logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

minimal model generation (1) countermodel 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