Inference rules in multi-agents' temporal logics

DOI10.1007/978-3-642-21884-2_4zbMATH Open1216.68273OpenAlexW41115969MaRDI QIDQ3013073FDOQ3013073

Authors: Vladimir 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

Recommendations

• Multi-agent temporal nontransitive linear logics and the admissibility problem
• Decidability: theorems and admissible rules
• Logics in Artificial Intelligence
• Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
• Branching time agents logics, satisfiability problem by rules in reduced form

zbMATH Keywords

temporal logiclinear temporal logicinference rulesmulti-agents logicvalid inference rules

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cites Work

• Admissibility of logical inference rules
• Title not available (Why is that?)
• Towards a Logic of Rational Agency
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rules of inference with parameters for intuitionistic logic
• Temporal verification of reactive systems: response
• Title not available (Why is that?)
• The hierarchical approach to modeling knowledge and common knowledge
• Reasoning about common knowledge with infinitely many agents
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
• Logical consecutions in discrete linear temporal logic
• Complexity of monodic guarded fragments over linear and real time
• Multi-agent dynamic logics with informational test
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
• Logic of transition systems
• Modality, bisimulation and interpolation in infinitary logic
• Title not available (Why is that?)
• Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
• A theory of hierarchical consequence and conditionals
• Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
• Agent-oriented software engineering II. 2nd international workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised papers and invited contributions

Cited In (7)

• Multi-agent temporal nontransitive linear logics and the admissibility problem
• Decidability: theorems and admissible rules
• Title not available (Why is that?)
• Temporal landscapes: a graphical logic of behavior
• Logics in Artificial Intelligence
• Dynamic temporal logical operations in multi-agent logics
• Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge

This page was built for publication: Inference rules in multi-agents' temporal logics

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