Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers

DOI10.1007/S41980-023-00757-9MaRDI QIDQ2689320zbMATH OpenOpenAlexFDO

Authors Amirhoshang Hoseinpour Dehkordi, M. Alizadeh, Ali Movaghar

Publication date 10 March 2023

Published in Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

classifierepistemic logicpublic announcement logictemporal logicverification

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Merging frameworks for interaction
• scientific article; zbMATH DE number 6863640
• Tableaux for Public Announcement Logic
• A Tableau Method for Public Announcement Logics
• `Knowable' as `known after an announcement'

Cites work

• Approximation algorithms for the load-balanced capacitated vehicle routing problem
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• Parallel model checking for temporal epistemic logic
• Safety verification of deep neural networks
• The language of epidemic

This page was built for publication: Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2689320)