Introducing reactive modal tableaux

Dov M. Gabbay

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

Introducing reactive modal 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 semantics and reactive Beth tableaux.

Original language	English
Title of host publication	Cognitive Technologies
Publisher	Springer Verlag
Pages	77-99
Number of pages	23
Edition	9783642413889
DOIs	https://doi.org/10.1007/978-3-642-41389-6_3
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_3

Cite this

@inbook{e4f11339aae446a59a998941855fa8bc,

title = "Introducing reactive modal tableaux",

abstract = "In this chapter the author introduces reactive semantics and reactive Beth tableaux.",

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

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

year = "2013",

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

language = "אנגלית",

series = "Cognitive Technologies",

publisher = "Springer Verlag",

number = "9783642413889",

pages = "77--99",

booktitle = "Cognitive Technologies",

address = "גרמניה",

edition = "9783642413889",

}

TY - CHAP

T1 - Introducing reactive modal tableaux

AU - Gabbay, Dov M.

PY - 2013

Y1 - 2013

N2 - In this chapter the author introduces reactive semantics and reactive Beth tableaux.

AB - In this chapter the author introduces reactive semantics and reactive Beth tableaux.

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

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

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

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

AN - SCOPUS:85028766900

T3 - Cognitive Technologies

SP - 77

EP - 99

BT - Cognitive Technologies

PB - Springer Verlag

ER -

Introducing reactive modal tableaux

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this