Advances in Modal Logic, Volume 2 (Center for the Study of Language and Information - Lecture Notes)
Contributors: Michael Zakharyaschev (Editor); Krister Segerberg (Editor); Maarten de Rijke (Editor); Heinrich Wansing (Editor)
Publisher: Center for the Study of Language and Inf
Published: October 3, 2001
Language: eng
Format: Paperback
Number of pages: 485
ISBN-13: 9781575862729
Subjects: Mathematical logic; Mathematical theory of computation; Logic; Philosophy; Philosophy / Logic
First sentence: ABSTRACT. In this paper we consider first-order extensions of the modal provability logic GL and the operational logic of proofs LP.