The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\)

DOI10.26516/1997-7670.2024.49.124MaRDI QIDQ6643441

Nikita Aleksandrovich Protsenko, Vladimir Rybakov

Publication date: 26 November 2024

Published in: The Bulletin of Irkutsk State University. Series Mathematics (Search for Journal in Brave)

zbMATH Keywords

modal logictemporal logiccommon knowledgedeciding algorithmsmultiagent logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Refined common knowledge logics or logics of common information
• Multiagent temporal logics with multivaluations
• Many-valued multi-modal logics, satisfiability problem
• Non-transitive linear temporal logic and logical knowledge operations
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
• Satisfiability problem in interval FP-logic

This page was built for publication: The satisfiability problem in linear multi-agent knowledge logic based on \(\mathbb{N}\)

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