scientific article; zbMATH DE number 1530250

MaRDI QIDQ4514714zbMATH OpenFDO

Authors Mirko Maleković

Publication date 14 November 2000

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Recommendations

• An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
• Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
• Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
• Resolution for temporal logics of knowledge
• A complete coalition logic of temporal knowledge for multi-agent systems

Cited in

(6)

• Towards a temporal coherence management in real-time knowledge-based systems
• Agent-time epistemics and coordination
• A complete coalition logic of temporal knowledge for multi-agent systems
• scientific article; zbMATH DE number 1471238 (Why is no real title available?)
• An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4514714)