We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Multi-Agent Temporal Logics, Information, Unification, and Projectivity.
- Authors
Rybakov, V. V.
- Abstract
This article explores the mathematical properties of multi-agent temporal logics and their applications in computer science and artificial intelligence. It discusses problems such as satisfiability, soundness, unification, and admissibility of inference rules in nonclassical mathematical logic. The authors propose a modified approach to common knowledge and introduce a definition of being informed for agents. The article provides definitions and models for these concepts and discusses the logical operations and knowledge operations associated with them. It also discusses different approaches to formalizing local common knowledge in logics and explores the decidability and satisfiability problems in these logics. The text concludes with a theorem that states that in logic LIDS, any unifiable formula is projective, making the admissibility problem in this logic decidable.
- Subjects
LOGIC; NONCLASSICAL mathematical logic; MULTIAGENT systems
- Publication
Algebra & Logic, 2023, Vol 62, Issue 3, p283
- ISSN
0002-5232
- Publication type
Article
- DOI
10.1007/s10469-024-09743-4