Modal Dependence Logics: Axiomatizations and Model-theoretic Properties

Fan Yang

doi:10.1093/jigpal/jzx023

Modal Dependence Logics: Axiomatizations and Model-theoretic Properties

Fan Yang

Research output: Contribution to journal › Article › Scientific › peer-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 language	English
Journal	Logic journal of the IGPL
Volume	25
Issue number	5
Pages (from-to)	773-805
Number of pages	33
ISSN	1367-0751
DOIs	https://doi.org/10.1093/jigpal/jzx023
Publication status	Published - 3 Aug 2017
Externally published	Yes
MoE publication type	A1 Journal article-refereed

Fields of Science

math.LO
03B45, 03B60, 03B55
111 Mathematics

Access to Document

10.1093/jigpal/jzx023

1610.02710v3Accepted author manuscript, 335 KBLicence: Other

Cite this

@article{fc8bba013bd941fa9879153100091d5c,

title = "Modal Dependence Logics: Axiomatizations and Model-theoretic Properties",

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.",

keywords = "math.LO, 03B45, 03B60, 03B55, 111 Mathematics",

author = "Fan Yang",

year = "2017",

month = aug,

day = "3",

doi = "10.1093/jigpal/jzx023",

language = "English",

volume = "25",

pages = "773--805",

journal = "Logic journal of the IGPL",

issn = "1367-0751",

publisher = "Oxford University Press",

number = "5",

}

TY - JOUR

T1 - Modal Dependence Logics

T2 - Axiomatizations and Model-theoretic Properties

AU - Yang, Fan

PY - 2017/8/3

Y1 - 2017/8/3

N2 - 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.

AB - 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.

KW - math.LO

KW - 03B45, 03B60, 03B55

KW - 111 Mathematics

U2 - 10.1093/jigpal/jzx023

DO - 10.1093/jigpal/jzx023

M3 - Article

SN - 1367-0751

VL - 25

SP - 773

EP - 805

JO - Logic journal of the IGPL

JF - Logic journal of the IGPL

IS - 5

ER -