Inference Rules in Multi-agents’ Temporal Logics
From MaRDI portal
Publication:3013073
DOI10.1007/978-3-642-21884-2_4zbMath1216.68273MaRDI QIDQ3013073
Vladimir Vladimirovich Rybakov
Publication date: 7 July 2011
Published in: Transactions on Computational Collective Intelligence IV (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21884-2_4
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about common knowledge with infinitely many agents
- Multi-agent dynamic logics with informational test
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Modality, bisimulation and interpolation in infinitary logic
- Admissibility of logical inference rules
- The hierarchical approach to modeling knowledge and common knowledge
- Logic of transition systems
- A theory of hierarchical consequence and conditionals
- Complexity of monodic guarded fragments over linear and real time
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
- Temporal Verification of Reactive Systems: Response
- Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
- Rules of inference with parameters for intuitionistic logic
- Towards a Logic of Rational Agency
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
- Logical consecutions in discrete linear temporal logic
- Agent-oriented software engineering II. 2nd international workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised papers and invited contributions