Combinations of Modal Logics

Authors:
Brandon Bennett;Clare Dixon;Michael Fisher;Ullrich Hustadt;Enrico Franconi;Ian Horrocks;Maarten De Rijke
Affiliations:
School of Computer Studies, University of Leeds, UK;Department of Computer Science, University of Liverpool, L69 7ZF, UK;Department of Computer Science, University of Liverpool, L69 7ZF, UK (author for correspondence, m.fisher@csc.liv.ac.uk);Department of Computer Science, University of Liverpool, L69 7ZF, UK;Department of Computer Science, University of Manchester, UK;Department of Computer Science, University of Manchester, UK;Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands
Venue:
Artificial Intelligence Review
Year:
2002

Citing 30
Cited 6

The complexity of reasoning about knowledge and time

STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Reasoning about knowledge and time in asynchronous systems

STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
The complexity of reasoning about knowledge and time. I. lower bounds

Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Gentzen-type systems and resolution rules. Part I. Propositional logic

COLOG-88 Proceedings of the international conference on Computer logic
A propositional modal logic of time intervals

Journal of the ACM (JACM)
Reasoning about knowledge

Reasoning about knowledge
On the decidability of query containment under constraints

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modal description logics: modalizing roles

Fundamenta Informaticae
Clausal temporal resolution

ACM Transactions on Computational Logic (TOCL)
Modal logic

Modal logic
Temporal resolution using a breadth-first search

Annals of Mathematics and Artificial Intelligence
A survey of temporal extensions of description logics

Annals of Mathematics and Artificial Intelligence
Decidability by Resolution for Propositional Modal Logics

Journal of Automated Reasoning
Using Resolution for Testing Modal Satisfiability and Building Models

Journal of Automated Reasoning
Combining Terminological Logics with Tense Logic

EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources

ISMB '98 Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology
Programming Resource-Bounded Deliberative Agents

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
On the Relation of Resolution and Tableaux Proof Systems for Description Logics

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Normal Forms and Proofs in Combined Modal and Temporal Logics

FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Fibring Semantic Tableaux

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The FaCT System

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Concept Language Extended with Different Kinds of Transitive Roles

KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Tableaux and Algorithms for Propositional Dynamic Logic with Converse

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Search Strategies for Resolution in Temporal Logics

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Encoding two-valued nonclassical logics in classical logic

Handbook of automated reasoning
Resolution decision procedures

Handbook of automated reasoning
The Two-Variable Guarded Fragment with Transitive Relations

LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Representing a robotic domain using temporal description logics

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A temporal description logic for reasoning about actions and plans

Journal of Artificial Intelligence Research
Implementing BDI-like systems by direct execution

IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1

Clausal resolution in a logic of rational agency

Artificial Intelligence
Supporting application development in the semantic web

ACM Transactions on Internet Technology (TOIT)
Modal tableaux for verifying stream authentication protocols

Autonomous Agents and Multi-Agent Systems
A multi-agent modal language for concurrency with non-communicating agents

CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Labeled @-calculus: formalism for time-concerned human factors

AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Combined model checking for temporal, probabilistic, and real-time logics

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

There is increasing use of combinations of modal logics in bothfoundational and applied research areas. This article provides anintroduction to both the principles of such combinations and to thevariety of techniques that have been developed for them. In addition,the article outlines many key research problems yet to be tackledwithin this callenging area of work.