𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Preservation Theorem for Tense Logic

✍ Scribed by Hirokazu Nishimura

Publisher
John Wiley and Sons
Year
1980
Tongue
English
Weight
262 KB
Volume
26
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Some preservation theorems in an interme
Some preservation theorems in an intermediate logic
✍ Seyed M. Bagheri πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 137 KB

## MSC (2000) 03B55, 03C40 We prove some preservation theorems concerning inductive and model-complete theories in the framework of semi-classical logic introduced in [1].

Preservation theorems for Kripke models
Preservation theorems for Kripke models
✍ Morteza Moniri; Mostafa Zaare πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 123 KB

## Abstract There are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model __A__ is a submodel of a Kripke model __B__ if they have the same frame and for each two corresponding worlds __A^Ξ±^__ and __B^Ξ±^__ of them, __A^

Preservativity logic: An analogue of int
Preservativity logic: An analogue of interpretability logic for constructive theories
✍ Rosalie Iemhoff πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 305 KB

## Abstract In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disj