✦ LIBER ✦

Hybrid logical analyses of the ambient calculus

✍ Scribed by Thomas Bolander; René Rydhof Hansen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ambient Calculus and its Logic in the Ca

✍ Ivan Scagnetto; Marino Miculan 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 240 KB

Intensionality of Modal Logic for Robust

✍ Taolue Chen; Tingting Han; Jian Lu 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 159 KB

A Logical Approach to Security in the Co

✍ Radu Mardare; Corrado Priami 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 327 KB

The Calculus of Context-aware Ambients

✍ François Siewe; Hussein Zedan; Antonio Cau 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 410 KB

The modular logic as a calculus of logic

✍ Jerzy Kotas 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

Vector logics: The matrix-vector represe

✍ Eduardo Mizraji 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 405 KB