Reactive intuitionistic tableaux

D. M. Gabbay

doi:10.1007/s11229-010-9781-8

Reactive intuitionistic tableaux

D. M. Gabbay

Department of Computer Science and Artificial Intelligence

King's College London
University of Luxembourg

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

5 Scopus citations

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
State	Published - Mar 2011

Keywords

Beth tableaux
Intuitionistic logic
Reactive Kripke models

Access to Document

10.1007/s11229-010-9781-8

Cite this

@article{b59c1d7819df4d5da761937cec2e8c40,

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

keywords = "Beth tableaux, Intuitionistic logic, Reactive Kripke models",

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

year = "2011",

month = mar,

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

language = "אנגלית",

volume = "179",

pages = "253--269",

journal = "Synthese",

issn = "0039-7857",

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.

KW - Beth tableaux

KW - Intuitionistic logic

KW - Reactive Kripke models

UR - https://www.scopus.com/pages/publications/79951956831

U2 - 10.1007/s11229-010-9781-8

DO - 10.1007/s11229-010-9781-8

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:79951956831

SN - 0039-7857

VL - 179

SP - 253

EP - 269

JO - Synthese

JF - Synthese

IS - 2

ER -

Reactive intuitionistic tableaux

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this