TY - GEN
T1 - Tableaux for temporal logics of knowledge
T2 - Synchronous systems of perfect recall or no learning
AU - Dixon, C.
AU - Nalon, C.
AU - Fisher, M.
PY - 2003
Y1 - 2003
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84944056412&partnerID=MN8TOARS
UR - https://www.scopus.com/pages/publications/84944056412
U2 - 10.1109/TIME.2003.1214881
DO - 10.1109/TIME.2003.1214881
M3 - Conference contribution
SP - 62
EP - 71
BT - Proceedings of the International Workshop on Temporal Representation and Reasoning
ER -