𝔖 Bobbio Scriptorium

✦ LIBER ✦

Obligations with deadlines: a formalization in Dynamic Deontic Logic

✍ Scribed by Demolombe, R.

Book ID: 121465237
Publisher: Oxford University Press
Year: 2012
Tongue: English
Weight: 369 KB
Volume: 24
Category: Article
ISSN: 0955-792X
DOI: 10.1093/logcom/exs015

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparing two mechanistic formalisms for

Comparing two mechanistic formalisms for soil organic matter dynamics: A test with in vitro priming effect observations

✍ Cathy Neill; Bertrand Guenet 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 520 KB

Magnetization dynamics, throughput and e

Magnetization dynamics, throughput and energy dissipation in a universal multiferroic nanomagnetic logic gate with fan-in and fan-out

✍ Salehi Fashami, Mohammad; Atulasimha, Jayasimha; Bandyopadhyay, Supriyo 📂 Article 📅 2012 🏛 Institute of Physics 🌐 English ⚖ 707 KB

Optical Bistability, Dynamical Nonlinear

Optical Bistability, Dynamical Nonlinearity and Photonic Logic || Bistable Behaviour of Light Waves in a Graded-Index Planar Waveguide with Nonlinear Substrate

✍ C. Sibilia, M. Bertolotti and D. Sette 📂 Article 📅 1984 🏛 The Royal Society 🌐 English ⚖ 226 KB

[Lecture Notes in Computer Science] Fiel

[Lecture Notes in Computer Science] Field-Programmable Logic Architectures, Synthesis and Applications Volume 849 || Simulating static and dynamic faults in BIST structures with a FPGA based emulator

✍ Hartenstein, Reiner W.; Servít, Michal Z. 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 588 KB

[IEEE 25th IEEE International Real-Time

[IEEE 25th IEEE International Real-Time Systems Symposium - Lisbon, Portugal (05-08 Dec. 2004)] 25th IEEE International Real-Time Systems Symposium - Mobile Element Scheduling for Efficient Data Collection in Wireless Sensor Networks with Dynamic Deadlines

✍ Somasundara, A.A.; Ramamoorthy, A.; Srivastava, M.B. 📂 Article 📅 2004 🏛 IEEE ⚖ 218 KB

[IEEE 2010 5th International Multi-Confe

[IEEE 2010 5th International Multi-Conference on Computing in the Global Information Technology (ICCGI) - Valencia, Spain (2010.09.20-2010.09.25)] 2010 Fifth International Multi-conference on Computing in the Global Information Technology - A Fuzzy Logic Method for Autonomous Robot Navigation in Dynamic and Uncertain Environment Composed with Complex Traps

✍ Ayari, Emna; Hadouaj, Samah; Ghedira, Khaled 📂 Article 📅 2010 🏛 IEEE ⚖ 463 KB