✦ LIBER ✦

Kripke semantics for modal systems including S4.3

✍ Scribed by V. Yu. Meskhi

Publisher: SP MAIK Nauka/Interperiodica
Year: 1974
Tongue: English
Weight: 376 KB
Volume: 15
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf01152828

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Łukasiewicz-style refutation system fo

A Łukasiewicz-style refutation system for the modal logic S4

✍ Tomasz Skura 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 359 KB

Construction of an Explicit Basis for Ru

Construction of an Explicit Basis for Rules Admissible in Modal System S4

✍ Vladimir V. Rybakov 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 142 KB

The Method of Socratic Proofs for Modal

The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G

✍ Dorota Leszczyńska-Jasion 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 489 KB

Biocatalytic reduction system for the pr

Biocatalytic reduction system for the production of chiral methyl (R)/(S)-4-bromo-3-hydroxybutyrate

✍ Hiroyuki Asako; Masatoshi Shimizu; Yoshihide Makino; Nobuya Itoh 📂 Article 📅 2010 🏛 Elsevier Science 🌐 French ⚖ 226 KB

Evidence for a light-dependent system fo

Evidence for a light-dependent system for reassimilation of photorespiratory CO2, which does not include a C4cycle, in the C3−C4intermediate speciesMoricandia arvensis

✍ Stephen Hunt; Alison M. Smith; Harold W. Woolhouse 📂 Article 📅 1987 🏛 Springer-Verlag 🌐 English ⚖ 865 KB

Three methods of estimating photorespiratory rate in leaves of the C3-C4 intermediate species Moricandia arvensis and the related C3 species Moricandia moricandioides were compared. The results indicated that the photorespiratory rate in M. arvensis is less than in M. moricandioides, and that this i

Construction of a two-strain system for

Construction of a two-strain system for asymmetric reduction of ethyl 4-chloro-3-oxobutanoate to (S)-4-chloro-3-hydroxybutanoate ethyl ester

✍ Zhinan Xu; Ying Liu; Limei Fang; Xiaoxia Jiang; Keju Jing; Peilin Cen 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 145 KB