Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents

DOI10.1093/LOGCOM/EXP027zbMath1208.03023OpenAlexW1969992219MaRDI QIDQ3656763

Vladimir Vladimirovich Rybakov

Publication date: 14 January 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp027

zbMATH Keywords

algorithmsdecidabilitylinear temporal logicmodal logicsinference rulesinteracting agentsmulti-agent logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (13)

Multiagent temporal logics with multivaluations ⋮ Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Temporal multi-valued logic with lost worlds in the past ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Formulas expressing totally nonstable truth values of formulas ⋮ Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Multi-agent temporal nontransitive linear logics and the admissibility problem ⋮ Inference Rules in Multi-agents’ Temporal Logics ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Branching time agents logics, satisfiability problem by rules in reduced form

This page was built for publication: Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents