𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Incompleteness Results in Kripke Semantics

✍ Scribed by Silvio Ghilardi

Book ID
115495255
Publisher
Association for Symbolic Logic
Year
1991
Tongue
English
Weight
477 KB
Volume
56
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Incompleteness Results in Kripke Bundle
Incompleteness Results in Kripke Bundle Semantics
✍ Kazuaki Nagaoka; Eiko Isoda πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 695 KB

## Abstract Kripke bundle and C‐set semantics are known as semantics which generalize standard Kripke semantics. In [4] and in [1, 2] it is shown that Kripke bundle and C‐set semantics are stronger than standard Kripke semantics. Also it is true that C‐set semantics for superintuitionistic logics i