Cut-free calculi and relational semantics for temporal STIT logics

DOI10.1007/978-3-030-19570-0_52OpenAlexW3100658723MaRDI QIDQ2296766

Tim S. Lyon, Kees van Berkel

Publication date: 18 February 2020

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

zbMATH Keywords

relational semanticstemporal logiclabelled sequent calculimulti-agent STIT logiccut-free completeness

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Cut-free calculi and relational semantics for temporal STIT logics