Model-theoretic and Computational Properties of Modal Dependence Logic

Abstract

Journal Article Model-theoretic and Computational Properties of Modal Dependence Logic Get access Merlijn Sevenster Merlijn Sevenster Philips Research, Prof. Holstlaan 4, 5656AA, Eindhoven, The NetherlandsE-mail: [e-mail] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 19, Issue 6, December 2009, Pages 1157–1173, https://doi.org/10.1093/logcom/exn102 Published: 20 January 2009 Article history Received: 01 May 2008 Published: 20 January 2009