✦ LIBER ✦

Bialgebraic methods and modal logic in structural operational semantics

✍ Scribed by Bartek Klin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Selective filtration in modal logic Part

✍ DOVM. GABBAY 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 316 KB

Selective strictness and parametricity i

✍ Janis Voigtländer; Patricia Johann 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 636 KB

An operational modal analysis method in

✍ Tong Wang; Lingmi Zhang; Yukio Tamura 📂 Article 📅 2005 🏛 Institute of Engineering Mechanics, China Earthqua 🌐 English ⚖ 253 KB

On the structural and semantic determina

✍ Barbro Nilsson 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 972 KB

On the modal acceleration method in stru

✍ H.L. Soriano; F.Venâncio Filho 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 481 KB

The Logic of Culture: Advances in Struct

✍ Andrew Lass 📂 Article 📅 1983 🏛 American Anthropological Association 🌐 English ⚖ 176 KB