Reactive intuitionistic tableaux

Dov M. Gabbay

doi:10.1007/978-3-642-41389-6_4

Reactive intuitionistic tableaux

Dov M. Gabbay

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

In this chapter the author introduces reactive intuitionistic frames (Kripke frames and Beth frames) and studies their expressive power and properties.

Original language	English
Title of host publication	Cognitive Technologies
Publisher	Springer Verlag
Pages	101-117
Number of pages	17
Edition	9783642413889
DOIs	https://doi.org/10.1007/978-3-642-41389-6_4
State	Published - 2013

Publication series

Name	Cognitive Technologies
Number	9783642413889
ISSN (Print)	1611-2482

Bibliographical note

Publisher Copyright:
© 2013, Springer-Verlag Berlin Heidelberg.

Access to Document

10.1007/978-3-642-41389-6_4

Cite this

@inbook{5934aa2c76464927bcf804a116f6c2a8,

title = "Reactive intuitionistic tableaux",

abstract = "In this chapter the author introduces reactive intuitionistic frames (Kripke frames and Beth frames) and studies their expressive power and properties.",

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

note = "Publisher Copyright: {\textcopyright} 2013, Springer-Verlag Berlin Heidelberg.",

year = "2013",

doi = "10.1007/978-3-642-41389-6_4",

language = "אנגלית",

series = "Cognitive Technologies",

publisher = "Springer Verlag",

number = "9783642413889",

pages = "101--117",

booktitle = "Cognitive Technologies",

address = "גרמניה",

edition = "9783642413889",

}

TY - CHAP

T1 - Reactive intuitionistic tableaux

AU - Gabbay, Dov M.

PY - 2013

Y1 - 2013

N2 - In this chapter the author introduces reactive intuitionistic frames (Kripke frames and Beth frames) and studies their expressive power and properties.

AB - In this chapter the author introduces reactive intuitionistic frames (Kripke frames and Beth frames) and studies their expressive power and properties.

UR - http://www.scopus.com/inward/record.url?scp=85028771054&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-41389-6_4

DO - 10.1007/978-3-642-41389-6_4

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85028771054

T3 - Cognitive Technologies

SP - 101

EP - 117

BT - Cognitive Technologies

PB - Springer Verlag

ER -

Reactive intuitionistic tableaux

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this