Discrete linear temporal logic with knowing-value operator

DOI10.1007/978-3-030-88708-7_11OpenAlexW3204303740MaRDI QIDQ2148826

Kaiyang Lin

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88708-7_11

zbMATH Keywords

temporal logiccommon knowledgeepistemic logicknowing value

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Logics of public communications
• Complete Axiomatizations for Reasoning about Knowledge and Time

This page was built for publication: Discrete linear temporal logic with knowing-value operator