First-Order Modal Logic

Torben Braüner, Silvio Ghilardi

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearch

Original languageEnglish
Title of host publicationHandbook of Modal Logic
EditorsPatrick Blackburn, Johan van Benthem, Frank Wolter
Number of pages73
Place of PublicationAmsterdam
PublisherPergamon Press
Publication date2006
Pages549-620
ISBN (Print)0444516905
Publication statusPublished - 2006
SeriesStudies in Logic and Practical Reasoning
Number3
ISSN1570-2464

Cite this

Braüner, T., & Ghilardi, S. (2006). First-Order Modal Logic. In P. Blackburn, J. van Benthem, & F. Wolter (Eds.), Handbook of Modal Logic (pp. 549-620). Amsterdam: Pergamon Press. Studies in Logic and Practical Reasoning, No. 3
Braüner, Torben ; Ghilardi, Silvio. / First-Order Modal Logic. Handbook of Modal Logic. editor / Patrick Blackburn ; Johan van Benthem ; Frank Wolter. Amsterdam : Pergamon Press, 2006. pp. 549-620 (Studies in Logic and Practical Reasoning; No. 3).
@inbook{a9ea5fd090c811dbbf91000ea68e967b,
title = "First-Order Modal Logic",
author = "Torben Bra{\"u}ner and Silvio Ghilardi",
year = "2006",
language = "English",
isbn = "0444516905",
pages = "549--620",
editor = "Patrick Blackburn and {van Benthem}, Johan and Frank Wolter",
booktitle = "Handbook of Modal Logic",
publisher = "Pergamon Press",

}

Braüner, T & Ghilardi, S 2006, First-Order Modal Logic. in P Blackburn, J van Benthem & F Wolter (eds), Handbook of Modal Logic. Pergamon Press, Amsterdam, Studies in Logic and Practical Reasoning, no. 3, pp. 549-620.

First-Order Modal Logic. / Braüner, Torben; Ghilardi, Silvio.

Handbook of Modal Logic. ed. / Patrick Blackburn; Johan van Benthem; Frank Wolter. Amsterdam : Pergamon Press, 2006. p. 549-620.

Research output: Chapter in Book/Report/Conference proceedingEncyclopedia chapterResearch

TY - ENCYC

T1 - First-Order Modal Logic

AU - Braüner, Torben

AU - Ghilardi, Silvio

PY - 2006

Y1 - 2006

M3 - Encyclopedia chapter

SN - 0444516905

SP - 549

EP - 620

BT - Handbook of Modal Logic

A2 - Blackburn, Patrick

A2 - van Benthem, Johan

A2 - Wolter, Frank

PB - Pergamon Press

CY - Amsterdam

ER -

Braüner T, Ghilardi S. First-Order Modal Logic. In Blackburn P, van Benthem J, Wolter F, editors, Handbook of Modal Logic. Amsterdam: Pergamon Press. 2006. p. 549-620. (Studies in Logic and Practical Reasoning; No. 3).