Temporal logic with interacting agents.

Vladimir V. Rybakov

Published in: J. Appl. Non Class. Logics (2008)

Keyphrases

temporal logic
interacting agents
model checking
modal logic
cooperative
satisfiability problem
network topologies
concurrent systems
temporal knowledge
transition systems
mazurkiewicz traces
belief revision
automata theoretic