A Complete and Compact Propositional Deontic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pablo F. Castro, T. S. E. Maibaum. A Complete and Compact Propositional Deontic Logic. In Cliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Volume 4711 of Lecture Notes in Computer Science, pages 109-123, Springer, 2007. [doi]

This author has not been identified. Look up 'Pablo F. Castro' in GoogleThis author has not been identified. Look up 'T. S. E. Maibaum' in Google

runs on WebDSL