𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some Connections between Topological and Modal Logic

✍ Scribed by Kurt Engesser

Publisher
John Wiley and Sons
Year
1995
Tongue
English
Weight
919 KB
Volume
41
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We study modal logics based on neighbourhood semantics using methods and theorems having their origin in topological model theory. We thus obtain general results concerning completeness of modal logics based on neighbourhood semantics as well as the relationship between neighbourhood and Kripke semantics. We also give a new proof for a known interpolation result of modal logic using an interpolation theorem of topological model theory.

πŸ“œ SIMILAR VOLUMES

Modal Logics Between S 4 and S 5
Modal Logics Between S 4 and S 5
✍ M. A. E. Dummett; E. J. Lemmon πŸ“‚ Article πŸ“… 1959 πŸ› John Wiley and Sons 🌐 English βš– 970 KB

## I I n [loll) MCKIYSEY and TAXSKI define a translation T from wffs of propositional calculus into wffs of modal logic, and prove (Thm. 5.1) that F I c n iff Fs4 T (a), where 1C is the intuitionist calculus. We wish to investigate the relation between any system PA of propositional calculus forme

On Some Completeness Theorems in Modal L
On Some Completeness Theorems in Modal Logic
✍ D. Makinson πŸ“‚ Article πŸ“… 1966 πŸ› John Wiley and Sons 🌐 English βš– 369 KB

ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC1) by D. MAKINSON in Oxford (England)

On some connections between permutations
On some connections between permutations and coding
✍ J. DΓ©nes πŸ“‚ Article πŸ“… 1985 πŸ› Elsevier Science 🌐 English βš– 365 KB

The aim of this paper is twofold: namely, to show how to use permutation coding for voice and to show how permutation coding helps parallel computation. Besides that mutants will play an important role in this paper.