L. Catach. Normal multimodal logics. In T. M. Smith and G. R. Mitchell, editor, Proceedings of the 7th National Conference on Artificial Intelligence (AAAI'88), pages 491--495, St. Paul, MN, August 1988. Morgan Kaufmann. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Normal Multimodal Logics With Interaction Axioms: A Tableau.. - Baldoni (2000) (3 citations) (Correct)
Mechanised Reasoning and Model Generation for Extended Modal.. - Schmidt, Hustadt (2003) (Correct)
Fibred Modal Tableaux - Gabbay, Governatori (2000) (2 citations) (Correct)
On Fibring Semantics for BDI Logics - Governatori, Padmanbhan, Sattar (2002) (3 citations) (Correct)
Combining Classical And Intuitionistic Logic - or.. - Cerro, Herzig (1996) (7 citations) (Correct)
From Classical to Normal Modal Logics - Gasquet, Herzig (1996) (3 citations) (Correct)
A Tableau Calculus for Multimodal Logics and Some.. - Baldoni, Giordano.. (1998) (Correct)
Knowledge in Multiagent Systems: Initial.. - Lomuscio, van der.. (2000) (Correct)
Reasoning about Visibility, Perception, and Knowledge - Wooldridge, Lomuscio (Correct)
Knowledge in Multi-Agent Systems: Initial Configurations .. - Lomuscio, van der Meyden (2000) (Correct)
A Spectrum of Modes of Knowledge Sharing between Agents - Lomuscio, Ryan (2000) (Correct)
Quantifiers and Operations on Modalities and Contexts - Costello, Patterson (Correct)
Proof Methods for Reasoning about Possibility and Necessity - Liau, Lin (1993) (Correct)
Combining Object-Oriented and Logic Paradigms: A Modal Logic.. - Uustalu (1992) (6 citations) (Correct)
Ideal Agents Sharing (some!) Knowledge - Lomuscio, Ryan (Correct)
A Tableau-Based Proof Method for Temporal Logics of.. - Wooldridge, Dixon.. (1998) (9 citations) (Correct)
A Decision Procedure for a Temporal Belief Logic - Wooldridge, Fisher (1994) (7 citations) (Correct)
A Spectrum of Modes of Knowledge Sharing between Agents - Lomuscio, Ryan (1999) (Correct)
Mechanised Reasoning and Model Generation for Extended Modal.. - Schmidt, Hustadt (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC