Interpreted systems and Kripke models for multiagent systems from a categorical perspective

DOI10.1016/j.tcs.2004.04.005zbMath1078.68146OpenAlexW2033428975MaRDI QIDQ1882902

Timothy Porter

Publication date: 1 October 2004

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.04.005

zbMATH Keywords

Categorical modelsKnowledge representationEpistemic logicMultiagent systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) General topics in artificial intelligence (68T01)

Related Items (3)

Unnamed Item ⋮ Finitary coalgebraic multisemilattices and multilattices. ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability

Cites Work

• Tools and techniques in modal logic
• Universal coalgebra: A theory of systems
• What can machines know?
• Algebraic polymodal logic: a survey
• Knowledge in multiagent systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpreted systems and Kripke models for multiagent systems from a categorical perspective