Annals of Mathematics and Artificial Intelligence
An Extended Branching-Time Ockhamist Temporal Logic
Journal of Logic, Language and Information
Display Calculi for Logics with Relative Accessibility Relations
Journal of Logic, Language and Information
Naming Worlds in Modal and Temporal Logic
Journal of Logic, Language and Information
Situation Calculus as Hybrid Logic: First Steps
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Relative Similarity Logics are Decidable: Reduction to FO2 with Equality
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Cut-Free Display Calculi for Nominal Tense Logics
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Tableau Calculi for Hybrid Logics
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The description logic handbook
On the undecidability of logics with converse, nominals, recursion and counting
Artificial Intelligence
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence
Model Checking for Hybrid Logic
Journal of Logic, Language and Information
Modeling Abstract Behavior: A Dynamic Logic Approach
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Magnitude qualitative reasoning via PDL
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
A Hybrid Public Announcement Logic with Distributed Knowledge
Electronic Notes in Theoretical Computer Science (ENTCS)
A study on multi-dimensional products of graphs and hybrid logics
Theoretical Computer Science
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Clausal Tableaux for Hybrid PDL
Electronic Notes in Theoretical Computer Science (ENTCS)
Modal logics of negotiation and preference
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A complete temporal and spatial logic for distributed systems
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Relational approach to order-of-magnitude reasoning
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
Hi-index | 0.00 |