scientific article; zbMATH DE number 1530250
From MaRDI portal
Publication:4514714
zbMATH Open0955.03024MaRDI QIDQ4514714FDOQ4514714
Authors: Mirko Maleković 
Publication date: 14 November 2000
Title of this publication is not available (Why is that?)
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
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Temporal logic (03B44)
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
- Title not available (Why is that?)
- 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)
