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
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
Inference rules in multi-agents' temporal logics
Transactions on computational collective intelligence IV
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
| Hi-index | 0.00 |
Our paper suggests a computational framework for verification valid inference in agents' temporal logics. As a tool, describing human reasoning procedure, we suggest valid inference rules (valid semantically - in Kripke-like frames generating logic). We investigate valid inference rules in agents' temporal logics with linear and branching intransitive time. Main results of our paper are suggested 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 LTAt.