๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Complexity of Regularity in Grammar Logics and Related Modal Logics

โœ Scribed by Demri, S.

Book ID
121358380
Publisher
Oxford University Press
Year
2001
Tongue
English
Weight
335 KB
Volume
11
Category
Article
ISSN
0955-792X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The completeness of monotonic modal logi
The completeness of monotonic modal logics
โœ Brian F. Chellas; Audrey McKinney ๐Ÿ“‚ Article ๐Ÿ“… 1975 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th