Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \)

DOI10.26516/1997-7670.2024.47.78MaRDI QIDQ6127858

Kirill Aleksandrovich Smelykh, Stepan I. Bashmakov

Publication date: 14 April 2024

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

Full work available at URL: https://mathizv.isu.ru/en/article/file?id=1481

zbMATH Keywords

branching temporal logicfiltration methodfinite approximabilitymulti-agent logicKripke relational semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Temporal logic (03B44)

This page was built for publication: Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \)