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

On the Undecidability of Monadic Modal Predicate Logic

โœ Scribed by Akira Nakamura


Publisher
John Wiley and Sons
Year
1970
Tongue
English
Weight
219 KB
Volume
16
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On the Proof Theory of the Modal Logic G
โœ M. Borga; P. Gentilini ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 246 KB ๐Ÿ‘ 1 views
On an Axiomatic System of Modal Logic
โœ Akira Nakamura ๐Ÿ“‚ Article ๐Ÿ“… 1968 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 309 KB ๐Ÿ‘ 1 views
On a Certain System of Modal Logic
โœ Akira Nakamura ๐Ÿ“‚ Article ๐Ÿ“… 1965 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 205 KB ๐Ÿ‘ 1 views
The completeness of monotonic modal logi
โœ 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