Modal Dependence Logics: Axiomatizations and Model-theoretic Properties

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

Modal dependence logics are modal logics defined on the basis of team semantics and have the downward closure property. In this paper, we introduce sound and complete deduction systems for the major modal dependence logics, especially those with intuitionistic connectives in their languages. We also establish a concrete connection between team semantics and single-world semantics, and show that modal dependence logics can be interpreted as variants of intuitionistic modal logics.
Original languageEnglish
Pages (from-to)773-805
JournalLogic Journal of the IGPL
Volume25
Issue number5
DOIs
Publication statusPublished - 3 Aug 2017
Externally publishedYes

Fingerprint

Dive into the research topics of 'Modal Dependence Logics: Axiomatizations and Model-theoretic Properties'. Together they form a unique fingerprint.

Cite this