scientific article; zbMATH DE number 1759385
From MaRDI portal
Publication:4536333
Recommendations
Cited in
(19)- Multiagent temporal logics with multivaluations
- Many-valued multi-modal logics, satisfiability problem
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Branching time logics with multiagent temporal accessibility relations
- Multi-agent logics with multi-valuations and intensional logical operations
- Multi-agent temporal nontransitive linear logics and the admissibility problem
- Branching time agents logics, satisfiability problem by rules in reduced form
- A computationally grounded logic of visibility, perception, and knowledge
- Representation and solving of logic dependent relation in multi-agent system
- Towards Approximate BGI Systems
- scientific article; zbMATH DE number 1140681 (Why is no real title available?)
- scientific article; zbMATH DE number 1522955 (Why is no real title available?)
- Agents that look at one another
- Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- Computer Aided Systems Theory – EUROCAST 2005
- Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules
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 Q4536333)
