conftrace_

kripke semantics

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

intuitionistic logic (2) substructural logic (1) counterexample generation (1) mental action (1) epistemic action (1) epistemic semantics (1) intuitionistic propositional logic (1) minimal model generation (1) countermodel generation (1) layered graph (1)

Papers

Mental Actions and Explainability in Kripkean Semantics: What Else do I Know? (Student Abstract) AAAI 2021 An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic IJCAI 2019 Intuitionistic Layered Graph Logic IJCAI 2017