Title :
Resolution-based proof for multi-modal temporal logics of knowledge
Author :
Dixon, Clare ; Fisher, Michael
Author_Institution :
Dept. of Comput. & Math., Manchester Metropolitan Univ., UK
Abstract :
Temporal logics of knowledge are useful in order to specify complex systems in which agents are both dynamic and have information about their surroundings. We present a resolution method for propositional temporal logic combined with multi-modal S5 and illustrate its use on examples. This paper corrects a previous proposal for resolution in multi-model temporal logics of knowledge
Keywords :
multi-agent systems; temporal logic; theorem proving; complex systems; dynamic agents; knowledge; multi-modal S5; multi-modal temporal logics; propositional temporal logic; resolution-based proof; Accidents; Encoding; Information security; Logic; Mathematics; Multiagent systems; Proposals; Protocols;
Conference_Titel :
Temporal Representation and Reasoning, 2000. TIME 2000. Proceedings. Seventh International Workshop on
Conference_Location :
Cape Breton, NS
Print_ISBN :
0-7695-0756-5
DOI :
10.1109/TIME.2000.856587
