Abstract
We introduce reactive Kripke models for intuitionistic logic and show that the reactive semantics is stronger than the ordinary semantics. We develop Beth tableaux for the reactive semantics.
| Original language | English |
|---|---|
| Pages (from-to) | 253-269 |
| Number of pages | 17 |
| Journal | Synthese |
| Volume | 179 |
| Issue number | 2 |
| DOIs | |
| State | Published - Mar 2011 |
Keywords
- Beth tableaux
- Intuitionistic logic
- Reactive Kripke models