DocumentCode
2234293
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
fYear
2000
fDate
2000
Firstpage
69
Lastpage
78
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TIME.2000.856587
Filename
856587
Link To Document