Introducing Reactive Modal Tableaux

Gabbay, Dov M.

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

Dov M. Gabbay^11,12,13

Part of the book series: Cognitive Technologies ((COGTECH))

692 Accesses
2 Citations

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 84.99; Price excludes VAT (USA)

Softcover Book: USD 109.99; Price excludes VAT (USA)

Hardcover Book: USD 109.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Department of Computer Science, Bar-Ilan University, Ramat Gan, Israel
Dov M. Gabbay
King’s College London, London, UK
Dov M. Gabbay
University of Luxembourg, Luxembourg, Luxembourg
Dov M. Gabbay

Authors

Dov M. Gabbay
View author publications
You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Gabbay, D.M. (2013). Introducing Reactive Modal Tableaux. In: Reactive Kripke Semantics. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41389-6_3

Download citation

DOI: https://doi.org/10.1007/978-3-642-41389-6_3
Published: 07 November 2013
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41388-9
Online ISBN: 978-3-642-41389-6
eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics