✦ LIBER ✦

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

✍ Scribed by Luk’yanchuk, A. N.; Rimatskiĭ, V. V.

Book ID: 121584067
Publisher: SP MAIK Nauka/Interperiodica
Year: 2013
Tongue: English
Weight: 212 KB
Volume: 54
Category: Article
ISSN: 0037-4466
DOI: 10.1134/S0037446613060104

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Axiomatisation for the Multi-modal Lo

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

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

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

Variation principle for the time depende

Variation principle for the time dependence of density operators and its relation to linear decoupling procedures for propagators

✍ Esper Dalgaard 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 500 KB

## Abstract A modified form of Frenkel's time‐dependent variation principle, suggested by McLachlan for state vectors, is employed to discuss the optimal time evolution of a density operator ρ(__t__). An __ansatz__ is made for this operator such that __i__(__d__ρ/__dt__) = [__S__, ρ], where __S__(_

The analytic solution of Stokes for time

The analytic solution of Stokes for time-dependent creeping flow around a sphere: Application to linear viscoelasticity as an ingredient for the generalized Stokes–Einstein relation and microrheology analysis

✍ Schieber, Jay D.; Córdoba, Andrés; Indei, Tsutomu 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 241 KB

An investigation into the application of

An investigation into the application of neural networks, fuzzy logic, genetic algorithms, and rough sets to automated knowledge acquisition for classification problems

✍ Ilona Jagielska; Chris Matthews; Tim Whitfort 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 235 KB

An optimized implementation of the Newma

An optimized implementation of the Newmark/Newton-Raphson algorithm for the time integration of non-linear problems

✍ Jacob, Breno Pinheiro ;Ebecken, Nelson Francisco Favilla 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 518 KB