Logics of dependence and independence: The local variants

DOI10.1093/LOGCOM/EXAB043OpenAlexW3184898920MaRDI QIDQ5163987

Phil Pützstück, Erich Grädel

Publication date: 9 November 2021

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

decidabilitymodel checkingbisimulationlogics of dependence and independence

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Logics of dependence and independence: The local variants