✦ LIBER ✦

Some remarks on the complexity of Henkin-Kripke models

✍ Scribed by A.S. Troelstra

Book ID: 108495258
Publisher: Elsevier Science
Year: 1978
Weight: 370 KB
Volume: 81
Category: Article
ISSN: 1385-7258
DOI: 10.1016/s1385-7258(78)80020-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some remarks on the Dolbeault-Kostant co

Some remarks on the Dolbeault-Kostant complex

✍ Puta, Mircea 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 461 KB

Some remarks on the use of daily rainfal

Some remarks on the use of daily rainfall models

✍ T.A. Buishand 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 603 KB

On the size of refutation Kripke models

On the size of refutation Kripke models for some linear modal and tense logics

✍ Hiroakira Ono; Akira Nakamura 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 597 KB

On the structure of kripke models of hey

On the structure of kripke models of heyting arithmetic

✍ Zoran Marković 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 456 KB 👁 1 views

## Abstract Since in Heyting Arithmetic (HA) all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical str

Some Remarks on the Modelling Gip Proble

Some Remarks on the Modelling Gip Problem

✍ I. Herman; J. Reviczky 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 572 KB

The analysis of causal models: Some rema

The analysis of causal models: Some remarks on new techniques

✍ Serge Carlos 📂 Article 📅 1970 🏛 Springer 🌐 English ⚖ 787 KB