✦ LIBER ✦

Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK

✍ Scribed by Calardo, E.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic of Visibility, Perception, and Kno

✍ Golovanov, M.I. 📂 Article 📅 2005 🏛 Oxford University Press 🌐 English ⚖ 286 KB

An Axiomatisation for the Multi-modal Lo

✍ Calardo, E.; Rybakov, V. V. 📂 Article 📅 2007 🏛 Oxford University Press 🌐 English ⚖ 235 KB

Decidability of the Admissibility Proble

✍ A. V. Kosheleva 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 250 KB

Preservation of Admissibility of Inferen

✍ V. V. Rybakov; V. V. Rimatskii 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 174 KB

A Criterion for Admissibility of Inferen

✍ E. M. Golovanova 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 225 KB

An axiomatization for the linear logic o

✍ Luk’yanchuk, A. N.; Rimatskiĭ, V. V. 📂 Article 📅 2013 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 212 KB