Advances in Modal Logic : Volume 9

Publication: ResearchBook – Annual report year: 2012

Standard

Advances in Modal Logic : Volume 9. / Bolander, Thomas (Editor); Braüner, Torben (Editor); Ghilardi, Silvio (Editor); Moss, Lawrence (Editor).

College Publications, 2012. 592 p.

Publication: ResearchBook – Annual report year: 2012

Harvard

Bolander, T, Braüner, T, Ghilardi, S & Moss, L (eds) 2012, Advances in Modal Logic: Volume 9. College Publications.

APA

Bolander, T., Braüner, T., Ghilardi, S., & Moss, L. (Eds.) (2012). Advances in Modal Logic: Volume 9. College Publications.

CBE

Bolander T, Braüner T, Ghilardi S, Moss L, ed. 2012. Advances in Modal Logic: Volume 9. College Publications. 592 p.

MLA

Vancouver

Bolander T, Braüner T, Ghilardi S, Moss L, editors. Advances in Modal Logic: Volume 9. College Publications, 2012. 592 p.

Author

Bolander, Thomas (Editor); Braüner, Torben (Editor); Ghilardi, Silvio (Editor); Moss, Lawrence (Editor) / Advances in Modal Logic : Volume 9.

College Publications, 2012. 592 p.

Publication: ResearchBook – Annual report year: 2012

Bibtex

@book{09bdadef9b7d4ce891689b43ac0e19a1,
title = "Advances in Modal Logic",
publisher = "College Publications",
author = "Thomas Bolander and Torben Braüner and Silvio Ghilardi and Lawrence Moss",
year = "2012",
isbn = "978-1-84890-068-4",

}

RIS

TY - BOOK

T1 - Advances in Modal Logic

T2 - Volume 9

A2 - Bolander,Thomas

A2 - Braüner,Torben

A2 - Ghilardi,Silvio

A2 - Moss,Lawrence

ED - Bolander,Thomas

ED - Braüner,Torben

ED - Ghilardi,Silvio

ED - Moss,Lawrence

PB - College Publications

PY - 2012

Y1 - 2012

N2 - Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic epistemic logic, and the logic of evidence.

AB - Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic epistemic logic, and the logic of evidence.

UR - http://www.collegepublications.co.uk/aiml/?00006

BT - Advances in Modal Logic

SN - 978-1-84890-068-4

ER -