Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability

DOI10.26516/1997-7670.2025.51.141MaRDI QIDQ6978892zbMATH OpenFDO

Authors Konstantin Vikent'evich Grekovich, Vladimir Rybakov, V. V. Rimatskij

Publication date 26 May 2025

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=1527

zbMATH Keywords

decidability problemframe and model Kripkemodal logicmulti-agent logics

Mathematics Subject Classification ID

Temporal logic (03B44)

Cites work

• Admissibility of logical inference rules
• Branching time logics with multiagent temporal accessibility relations
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
• Explicit generic common knowledge
• Expressive number restrictions in description logics
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
• Justification awareness
• Multi-agent temporal nontransitive linear logics and the admissibility problem
• Non-transitive linear temporal logic and logical knowledge operations
• Refined common knowledge logics or logics of common information
• Temporal logic with accessibility temporal relations generated by time states themselves

This page was built for publication: Intransitive temporal multi-agent logic with agents' multi-valuations. Decidability

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