Advances in Modal Logic Vol. 3
Contributors: Frank Wolter (Editor); Maarten De Rijke (Editor)
Publisher: CSLI Publications
Published: February 2003
Language: eng
Format: Hardcover
Number of pages: 424
ISBN-13: 9789812381798
Subjects: Artificial intelligence; Logic; Mathematical logic; Computers; Mathematics; Computer Science; Technology; Logic Design; Science/Mathematics; Reference; Applied
First sentence: ABSTRACT. In this paper we consider first-order extensions of the modal provability logic GL and the operational logic of proofs LP.