✦ LIBER ✦

On Axiomatising Products of Kripke Frames

✍ Scribed by Ágnes Kurucz

Book ID: 124978557
Publisher: Association for Symbolic Logic
Year: 2000
Tongue: English
Weight: 475 KB
Volume: 65
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2586578

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the predicate logics of finite Kripke

On the predicate logics of finite Kripke frames

✍ D. Skvortsov 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 544 KB

Some results on Kripke models over an ar

Some results on Kripke models over an arbitrary fixed frame

✍ Seyed Mohammad Bagheri; Morteza Moniri 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 109 KB

## Abstract We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim‐Skolem's theorems as determined by our definitions. The relations between cor

On the Predicate Logic of Linear Kripke

On the Predicate Logic of Linear Kripke Frames and some of its Extensions

✍ Dmitrij Skvortsov 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 529 KB

Some Classes of Kripke Frames Characteri

Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic

✍ Robert E. Kirk 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 131 KB 👁 1 views

Logics of some kripke frames connected w

Logics of some kripke frames connected with Medvedev notion of informational types

✍ V. B. Shehtman; D. P. Skvortsov 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 998 KB

On the axiomatisation of subjective prob

On the axiomatisation of subjective probabilities

✍ Simon French 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 677 KB