Logics of time and computation
Logics of time and computation
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Hereditarily structurally complete modal logics
Journal of Symbolic Logic
Reasoning about knowledge
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
IEEE Intelligent Systems
Reasoning about The Past with Two-Way Automata
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Improved Automata Generation for Linear Temporal Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Another Look at LTL Model Checking
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
The Computational Complexity of Agent Verification
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Deductive Proof System for CTL
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Undecidability of a multi-agent logic
Fundamenta Informaticae - Concurrency specification and programming
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Annals of Mathematics and Artificial Intelligence
Reasoning about common knowledge with infinitely many agents
Information and Computation
Model Checking Rational Agents
IEEE Intelligent Systems
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
Journal of Logic and Computation
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Linear temporal logic with until and before on integer numbers, deciding algorithms
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Multi-agent logic with distances based on linear temporal frames
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
International Journal of Intelligent Information Technologies
Hi-index | 0.00 |
We introduce a multi-agent logic ${ {\cal M}{\cal A}_{{\cal L}{\cal T}{\cal L}}}$ --- a variant of the linear temporal logic LTL with embedded multi-agent knowledge with interacting agents. The logic is motivated by semantics based on potentially infinite runs with time points represented by clusters of states with distributed knowledge of the agents. We address properties of local and global knowledge modeled in this framework, consider modeling of interaction between agents by possibility to puss information from one agent to others via possible transitions within time clusters of states. Main question we are focused on is the satisfiability problem and decidability of the logic ${ {\cal M}{\cal A}_{{\cal L}{\cal T}{\cal L}}}$. Key result is proposed algorithm which recognizes theorems of ${ {\cal M}{\cal A}_{{\cal L}{\cal T}{\cal L}}}$ (so we show that ${ {\cal M}{\cal A}_{{\cal L}{\cal T}{\cal L}}}$ is decidable). It is based on verification of validity for special normal reduced forms of rules in models with at most triple exponential size in the testing rules. In the final part we discuss possible variations of the proposed logic.