𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Basic Modal Logic

✍ Scribed by Pollock, John

Year
0
Tongue
English
Weight
1 MB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Connected modal logics
Connected modal logics
✍ Guram Bezhanishvili; David Gabelaia πŸ“‚ Article πŸ“… 2010 πŸ› Springer 🌐 English βš– 528 KB
Modal sequents for normal modal logics
Modal sequents for normal modal logics
✍ Claudio Cerrato πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 433 KB

## Abstract We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03

Modal-type orthomodular logic
Modal-type orthomodular logic
✍ Graciela Domenech; Hector Freytes; Christian de Ronde πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 138 KB

## Abstract In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer\*‐semigroups as in [22] (Β© 2009 WILEY‐V

Two-dimensional modal logic
Two-dimensional modal logic
✍ V. B. Shekhtman πŸ“‚ Article πŸ“… 1978 πŸ› SP MAIK Nauka/Interperiodica 🌐 English βš– 586 KB
Two-dimensional modal logic
Two-dimensional modal logic
✍ Krister Segerberg πŸ“‚ Article πŸ“… 1973 πŸ› Springer Netherlands 🌐 English βš– 899 KB