Uniform interpolation for propositional and modal team logics

DOI10.1093/LOGCOM/EXZ006zbMath1444.03104arXiv1810.05395OpenAlexW2895833025MaRDI QIDQ5213395

Giovanna D'Agostino

Publication date: 3 February 2020

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

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

zbMATH Keywords

team semanticsuniform interpolationbisimulation quantifiersdependence logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Propositional union closed team logics

This page was built for publication: Uniform interpolation for propositional and modal team logics