✦ LIBER ✦

[Lecture Notes in Computer Science] Deontic Logic in Computer Science Volume 6181 || Deontic Redundancy: A Fundamental Challenge for Deontic Logic

✍ Scribed by Governatori, Guido; Sartor, Giovanni

Book ID: 115481632
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 286 KB
Category: Article
ISBN: 3642141838
DOI: 10.1007/978-3-642-14183-6_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Lect

[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

✍ Bezhanishvili, Nick; Goranko, Valentin 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 379 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 1234 || Models for the logic of proofs

✍ Adian, Sergei; Nerode, Anil 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 486 KB

Third international workshop on deontic

Third international workshop on deontic logic in computer science (DEON'96): Lisbon, Portugal, 11–13 January, 1996 Call for papers

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 96 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Subrecursion as a basis for a feasible programming language

✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 868 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools for Teaching Logic Volume 6680 || Concrete Epistemic Modal Logic: Flatland

✍ Blackburn, Patrick; Ditmarsch, Hans; Manzano, María; Soler-Toscano, Fernando 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 573 KB

This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic

[Lecture Notes in Computer Science] Cate

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || A dialectica-like model of linear logic

✍ Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; Poigné, Ax 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 709 KB

The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get c