Logics of time and computation
Logics of time and computation
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Reasoning about knowledge
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
IEEE Intelligent Systems
Decidable and Undecidable Fragments of First-Order Branching Temporal Logics
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Improved Automata Generation for Linear Temporal Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Another Look at LTL Model Checking
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Undecidability of a multi-agent logic
Fundamenta Informaticae - Concurrency specification and programming
Annals of Mathematics and Artificial Intelligence
Reasoning about common knowledge with infinitely many agents
Information and Computation
Multi-Agent Dynamic Logics with Informational Test
Annals of Mathematics and Artificial Intelligence
Model Checking Rational Agents
IEEE Intelligent Systems
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
Journal of Logic and Computation
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Logic of Discovery in Uncertain Situations--- Deciding Algorithms
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Connections between Belief Revision, Belief Merging and Social Choice
Journal of Logic and Computation
A Theory of Hierarchical Consequence and Conditionals
Journal of Logic, Language and Information
Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents
Journal of Logic and Computation
Describing Evolutions of Multi-Agent Systems
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part I
A framework to compute inference rules valid in agents' temporal logics
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse
Hi-index | 0.00 |
Aim of this paper is to work out a framework for computation inference rules valid in agents' temporal logics. Coordinated, rational actions of agents use logical reasoning, derivations (in order to predict results). As a tool, describing human reasoning procedure, we suggest valid inference rules (valid semantically - in Kripke-like frames generating logic). Our paper studies inference rules valid in temporal agents' logics admitting various representations of time, in particular, we consider logics with linear and branching intransitive time. We suggest algorithms which allow to compute valid inference rules in agents' liner time logics LTLK and LTLK(Z), agents' logic with branching intransitive time LTAi, and the logic with branching transitive time LTAi.