✦ LIBER ✦

The systems of modal calculus of names. II

✍ Scribed by Swietłana Lebiediewa

Publisher: Springer Netherlands
Year: 1969
Tongue: English
Weight: 747 KB
Volume: 25
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02297277

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The systems of modal calculus of names.

The systems of modal calculus of names. I

✍ Swietłana Lebiediewa 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 937 KB

Proof of decidability of the traditional

Proof of decidability of the traditional calculus of names

✍ Bogusław Iwanuś 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 751 KB

A formalization of the modal proposition

A formalization of the modal propositional S4 calculus

✍ Anita Wasilewska 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 535 KB

On the Proof Theory of the Modal mu-Calc

On the Proof Theory of the Modal mu-Calculus

✍ Thomas Studer 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 366 KB

Hypergeometric symbolic calculus. II – S

Hypergeometric symbolic calculus. II – Systems of confluent equations

✍ Amédée Debiard; Bernard Gaveau 📂 Article 📅 2003 🏛 Elsevier Science 🌐 French ⚖ 142 KB

We apply the hypergeometric symbolic calculus introduced in the previous work [A. Debiard, B. Gaveau, Hypergeometric symbolic calculus. I -Systems of two symbolic hypergeometric equations] to the determination of the general solution of degenerate hypergeometric equations in two variables and to the

The diagrams of formulas of the modal pr

The diagrams of formulas of the modal propositional S4*calculus

✍ Anita Wasilewska 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 308 KB