G. Hughes, M. Cresswell: "A Companion to Modal Logic", Methuen, London, 1984. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Acknowledgments - The First Thanks (Correct)
Uniform Semantic Treatment of Default and Autoepistemic Logics - Denecker, Marek (2000) (6 citations) (Correct)
Uniform Semantic Treatment of Default and Autoepistemic Logics - Denecker (2000) (6 citations) (Correct)
Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993) (Correct)
A Modal Contrastive Logic: The Logic of `But` - Meyer, al. (1994) (Correct)
A Duplication and Loop Checking Free Proof System for S4 - Governatori (1996) (Correct)
Formalising Abilities and Opportunities of Agents - van Linder, van der Hoek, Meyer (1998) (7 citations) (Correct)
Actors, Actions, and Initiative in Normative System.. - Wieringa, Meyer (Correct)
Weak Aggregative Modal Logics with Multi-ary Modal Operators - Wong (1997) (Correct)
A Minimal Modelling For Successful Knowledge Base Revision - Vi Si On (Correct)
Encoding Modal Logics in Logical Frameworks - Arnon Avron Furio (1997) (4 citations) (Correct)
Logical and Computational Properties of the.. - Buongarzoni.. (1995) (2 citations) (Correct)
Reasoning about Action and Change - A Dynamic Logic Approach - Prendinger, Schurz (1996) (11 citations) (Correct)
A Tableau Calculus for Multimodal Logics and Some.. - Baldoni, Giordano.. (1998) (Correct)
Formalizing action and change in modal logic I: the frame.. - Castilho, Gasquet, Herzig (1999) (18 citations) (Correct)
Almost duplication-free tableau calculi for propositional Lax .. - Avellone, Ferrari (1996) (3 citations) (Correct)
Temporal Approach to Causal Knowledge - Penczek (2000) (4 citations) (Correct)
Partial Boolean Algebras As Models For Thesaurus Integration - Carlo Ferigato Emisfera (Correct)
Issues in Diagnosis, Supervision and Safety - Nielsen, Nyberg, Frisk.. (1996) (Correct)
Knowledge in Multiagent Systems: Initial.. - Lomuscio, Van Der.. (2000) (Correct)
What is an Inference Rule? - Fagin, Halpern, Vardi (1992) (Correct)
Possible Worlds Semantics For Events - Norman Foo And (1993) (Correct)
Resolution is a Decision Procedure for Many Propositional Modal.. - Schmidt (1996) (8 citations) (Correct)
Proof Systems for Nonmonotonic Logics - Niemelä, Schwind (Correct)
View-Based Explicit Knowledge - Ramanujam (1998) (Correct)
Propositional Temporal Logics and Equivalences - Goltz, Kuiper, Penczek (1992) (15 citations) (Correct)
Logic of Information Knowledge - Alexei Yu Muravitsky (Correct)
Knowledge in Multiagent Systems: Initial.. - Lomuscio, van der.. (2000) (Correct)
Modal Logic and Attribute Value Structures - Blackburn (1993) (17 citations) (Correct)
A Modal Perspective on the Computational Complexity of.. - Blackburn, Spaan (1992) (27 citations) (Correct)
Naming Worlds In Modal And Temporal Logic - Gabbay, Malod (2000) (2 citations) (Correct)
Modal Logics - A Summary of the Well-Behaved - Fitting (1989) (Correct)
Modal Event Calculus in Lolli - Iliano Cervesato Luca (Correct)
Algebraic Manipulation of Modalities - Chen (Correct)
Theories of Knowledge and Ignorance - van der Hoek, Jaspars, Thijsse (Correct)
Propositional Temporal Logics and - Equivalences Ursula Goltz (Correct)
Temporal Approach to Causal - Knowledge Wojciech Penczek (Correct)
Information Retrieval and Situation Theory - Huibers, Lalmas, van Rijsbergen (1996) (8 citations) (Correct)
Contrary-To-Duty Reasoning with Preference-based Dyadic.. - van der Torre, Tan (2000) (6 citations) (Correct)
Interpolation in Modal Logic - Maarten Marx Institute (1999) (2 citations) (Correct)
What is an Inference Rule? - Fagin, Halpern, Vardi (1992) (Correct)
Algebraic Manipulation of Modalities - Chen (Correct)
Structures, Languages and Translations: the Structural Approach.. - Blackburn (Correct)
Decidability of Class-Based Knowledge Representation Formalisms - De Giacomo (1995) (11 citations) (Correct)
Some Adaptive Logics for Diagnosis. - Batens, Meheus, Provijn, Verhoeven (Correct)
A Complete Epistemic Logic for Multiple Agents: Combining.. - van der Hoek, Meyer (1996) (2 citations) (Correct)
Logics and Provability - Sasaki (2001) (Correct)
All We Believe Fails in Impossible Worlds - Possible-World Semantics For (Correct)
On the Logic for Utopia - Areces Carlos Becher (Correct)
Lecture Notes on Logics of Knowledge in Computer Science - Ramanujam (Correct)
First 50 documents Next 50
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