Inference rules in multi-agents' temporal logics

DOI10.1007/978-3-642-21884-2_4MaRDI QIDQ3013073zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(7)

• Multi-agent temporal nontransitive linear logics and the admissibility problem
• Decidability: theorems and admissible rules
• scientific article; zbMATH DE number 2088152 (Why is no real title available?)
• 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)