Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic p. 62
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning
Clare Dixon, The University of Liverpool
Claudia Nalon, The University of Liverpool
Michael Fisher, The University of Liverpool

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TIME.2003.1214881
Send link to a friend

Abstract
The paper describes tableaux based proof methods for temporal logics of knowledge allowing interaction axioms between the modal and temporal components. Such logics can be used to specify systems that involve the knowledge of processes or agents and which change over time, for example agent based systems or knowledge games. The interaction axioms allow the description of how knowledge evolves over time and makes reasoning in such logics theoretically more complex. Completeness arguments for the tableaux are discussed.
Back to Top Additional Information
Citation: Clare Dixon, Claudia Nalon, Michael Fisher, "Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning," time-ictl, p. 62, 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic, 2003

	Advanced Search
CS Search Google Search