✦ LIBER ✦

An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK

✍ Scribed by Calardo, E.; Rybakov, V. V.

Book ID: 121727537
Publisher: Oxford University Press
Year: 2007
Tongue: English
Weight: 235 KB
Volume: 15
Category: Article
ISSN: 1367-0751
DOI: 10.1093/jigpal/jzm010

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Admissible Inference Rules in the Linear

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

✍ Calardo, E. 📂 Article 📅 2006 🏛 Oxford University Press 🌐 English ⚖ 322 KB

An axiomatization for the linear logic o

An axiomatization for the linear logic of knowledge and timeLTKrwith intransitive time relation

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

On the size of refutation Kripke models

On the size of refutation Kripke models for some linear modal and tense logics

✍ Hiroakira Ono; Akira Nakamura 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 597 KB

An efficient time/frequency domain algor

An efficient time/frequency domain algorithm for modal analysis of non-linear models discretized by the FEM

✍ D. Soares Jr.; W.J. Mansur 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 305 KB

The present paper describes an efficient time/frequency domain approach for modal analysis of non-linear models discretized by the FEM. An efficient recurrence relationship for displacement and velocity, based on the GreenÕs function of the model and its time derivative, is presented in both a time

Knowledge and Belief. An Introduction to

Knowledge and Belief. An Introduction to the Logic of the Two Notionsby Jaakko Hintikka

✍ Review by: Hector-Neri Castañeda 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 518 KB

Consensus problems for linear time-invar

Consensus problems for linear time-invariant multi-agent systems with saturation constraints

✍ Li, Y.; Xiang, J.; Wei, W. 📂 Article 📅 2011 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 309 KB