Miika Hannula

Selected publications and creative works (Research Outputs)

  • Hannula, M. (2017). Validity and entailment in modal and propositional dependence logics. Leibniz International Proceedings in Informatics, LIPIcs. 10.4230/LIPIcs.CSL.2017.28
  • Hannula, M., Kontinen, J., Lück M, & Virtema, J. (2016). On Quantified Propositional Logics and the Exponential Time Hierarchy. Electronic Proceedings in Theoretical Computer Science, 226, 198-212. 10.4204/EPTCS.226.14
  • Hannula, M., & Kontinen, J. (2016). A finite axiomatization of conditional independence and inclusion dependencies. Information and Computation, 249, 121-137. 10.1016/j.ic.2016.04.001
  • Hannula, M., Kontinen, J., & Link, S. (2016). On the finite and general implication problems of independence atoms and keys. Journal of Computer and System Sciences, 82 (5), 856-877. 10.1016/j.jcss.2016.02.007
    URL: http://hdl.handle.net/2292/29186
    Other University of Auckland co-authors: Sebastian Link
  • Durand, A., Hannula, M., Kontinen, J., Meier, A., & Virtema, J. (2016). Approximation and Dependence via Multiteam Semantics. Paper presented at 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Linz, AUSTRALIA. 7 March - 11 March 2016. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016). (pp. 21). 10.1007/978-3-319-30024-5_15
  • Hannula, M. (2015). On Variants of Dependence Logic: Axiomatizability and Expressiveness University of Helsinki. Unigrafia. Related URL.
  • Hannula, M., & Kontinen, J. (2015). Hierarchies in independence and inclusion logic with strict semantics. Journal of Logic and Computation, 25 (3), 879-897. 10.1093/logcom/exu057
  • Hannula, M. (2015). Axiomatizing first-order consequences in independence logic. Annals of Pure and Applied Logic, 166 (1), 61-91. 10.1016/j.apal.2014.09.002