Modal Dependence Logics

Axiomatizations and Model-theoretic Properties

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Kuvaus

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.
Alkuperäiskielienglanti
LehtiLogic journal of the IGPL
Vuosikerta25
Numero5
Sivut773-805
Sivumäärä33
ISSN1367-0751
DOI - pysyväislinkit
TilaJulkaistu - 3 elokuuta 2017
Julkaistu ulkoisestiKyllä
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

  • 111 Matematiikka

Lainaa tätä

@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 = "8",
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",

}

Modal Dependence Logics : Axiomatizations and Model-theoretic Properties. / Yang, Fan.

julkaisussa: Logic journal of the IGPL, Vuosikerta 25, Nro 5, 03.08.2017, s. 773-805.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

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

VL - 25

SP - 773

EP - 805

JO - Logic journal of the IGPL

JF - Logic journal of the IGPL

SN - 1367-0751

IS - 5

ER -