Reactive intuitionistic tableaux

D. M. Gabbay

doi:10.1007/s11229-010-9781-8

Reactive intuitionistic tableaux

D. M. Gabbay

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

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	https://doi.org/10.1007/s11229-010-9781-8
Publication status	Published - Mar 2011

Access to Document

10.1007/s11229-010-9781-8

Cite this

@article{1afe4168060546dc9c73101d39e235dc,

title = "Reactive intuitionistic tableaux",

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.",

author = "Gabbay, {D. M.}",

year = "2011",

month = mar,

doi = "10.1007/s11229-010-9781-8",

language = "English",

volume = "179",

pages = "253 -- 269",

journal = "SYNTHESE",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Reactive intuitionistic tableaux

AU - Gabbay, D. M.

PY - 2011/3

Y1 - 2011/3

N2 - 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.

AB - 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.

U2 - 10.1007/s11229-010-9781-8

DO - 10.1007/s11229-010-9781-8

M3 - Article

VL - 179

SP - 253

EP - 269

JO - SYNTHESE

JF - SYNTHESE

IS - 2

ER -

Reactive intuitionistic tableaux

Abstract

Access to Document

Fingerprint

Cite this