Modal dependence logics: axiomatizations and model-theoretic properties

DOI10.1093/jigpal/jzx023zbMath1492.03011arXiv1610.02710OpenAlexW2531526914MaRDI QIDQ5095630

No author found.

Publication date: 10 August 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1610.02710

zbMATH Keywords

modal logicintermediate logicsdependence logicteam semanticsintuitionistic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (6)

Axiomatizations of team logics ⋮ Questions and dependency in intuitionistic logic ⋮ On the complexity of linear temporal logic with team semantics ⋮ Positive modal logic beyond distributivity ⋮ Supervenience, Dependence, Disjunction ⋮ Unnamed Item

This page was built for publication: Modal dependence logics: axiomatizations and model-theoretic properties