Contributions

  • Michael Zakharyaschev (Editor) - Contributor
  • Krister Segerberg (Editor) - Contributor
  • Maarten de Rijke (Editor) - Contributor
  • Heinrich Wansing (Editor) - Contributor

Publication

2001-03-20 - Center for the Study of Language and Inf

Language

English

Word Count

121,250 words, Guess

Page Count

485 pages

Physical Format

Hardcover

Identifiers

  • ISBN-101575862719
  • ISBN-139781575862712
  • Goodreads4448731
  • Better World Books9781575862712
  • Open LibraryOL8746364M

First Sentence

ABSTRACT. In this paper we consider first-order extensions of the modal provability logic GL and the operational logic of proofs LP.

Subjects

Other Editions

  • Advances in Modal Logic, Volume 2 (Center for the Study of Language and Information - Lecture Notes)HardcoverCenter for the Study of Language and Inf2001-03-20

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!