Michael Wooldridge, Clare Dixon, Michael Fisher  Home/Search
Context Related
| dali.doc.aca.mmu.ac.uk/STAFF/C...wdf.ps elec.qmw.ac.uk/dai/peop...jancl98.ps.gz csc.liv.ac.uk/~mjw/pubs...jancl98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dali.doc.aca.mmu.ac.uk...cldpubs (more) From: elec.qmw.ac.uk/dai/people/mike... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we define two logics, KLn and BLn , and present tableau-based decision procedures for both. KLn is a temporal logic of knowledge. Thus, in addition to the usual connectives of linear discrete temporal logic, it contains a set of unary modal connectives for representing the knowledge possessed by agents. The logic BLn is somewhat similar; it is a temporal logic that contains connectives for representing the beliefs of agents. In addition to a complete formal definition of the two... (Update)
Cited by: More
A Framework for Resolution of Time in Natural - Language Benjamin Han (2004) (Correct)
A Time Calculus for Natural Language - Benjamin Han Michael (2003) (Correct)
Cooperation, Knowledge, and Time: Alternating-time.. - van der Hoek, Wooldridge (2003) (Correct)
Similar documents (at the sentence level):
5.8%: A Resolution-Based Proof Method for Temporal Logics of.. - Fisher, Wooldridge.. (1996) (Correct)
Active bibliography (related documents): More All
0.6: Resolution for Temporal Logics of Knowledge - Dixon, Fisher, Wooldridge (1998) (Correct)
0.5: The Logical Modelling of Computational Multi-Agent Systems - Wooldridge (1992) (Correct)
0.3: Agent-Based Software Engineering - Wooldridge (1997) (Correct)
Similar documents based on text: More All
0.3: Partial Safety of Formulas as a Unifying Foundational Principle - Avron (Correct)
0.3: Tableaux for Temporal Logics of Knowledge: Synchronous.. - Dixon, Nalon, Fisher (2003) (Correct)
0.2: Resolution for Temporal Logics of Knowledge with Interactions - Nalon, Dixon, Fisher (2002) (Correct)
Related documents from co-citation: More All
15: The complexity of reasoning about knowledge and time - Halpern, Vardi - 1989
12: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
8: Resolution for temporal logics of knowledge - Dixon, Fisher et al. - 1998
BibTeX entry: (Update)
M. Wooldridge, C. Dixon, and M. Fisher. A tableau-based proof method for temporal logics of knowledge and belief. Journal of Applied Non-Classical Logics, 8(3):225--258, 1998. http://citeseer.ist.psu.edu/wooldridge98tableaubased.html More
@article{ wooldridge98tableaubased,
author = "M. Wooldridge and C. Dixon and M. Fisher",
title = "A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief",
journal = "Journal of Applied Non-Classical Logics",
volume = "8",
number = "3",
pages = "225--258",
year = "1998",
url = "citeseer.ist.psu.edu/wooldridge98tableaubased.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
343 Modal Logic: An Introduction (context) - Chellas - 1980
242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
191 Temporal Verification of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
142 Reasoning About Change: Time and Causation from the Standpoi.. (context) - Shoham - 1988
142 Simple On-the-fly Automatic Verification of Linear Temporal .. - Vardi, Gerth et al. - 1995
100 The complexity of reasoning about knowledge and time - Halpern, Vardi - 1989
81 The tableau method for temporal logic: An overview (context) - Wolper - 1985
50 Using reasoning about knowledge to analyze distributed syste.. (context) - Halpern - 1987
43 Theoretical Computer Science (context) - Kraus, Lehmann et al. - 1988
35 The Logical Modelling of Computational Multi-Agent Systems - Wooldridge - 1992
34 Formal Models and Decision Procedures for Multi-Agent System.. - Rao, Georgeff - 1995
23 Decision procedures for temporal logic (context) - Gough - 1984
22 the properties of knowledge in distributed systems (context) - Fagin, Halpern et al. - 1992
19 Normal multimodal logics (context) - Catach - 1988
18 Efficient On-the-Fly Model Checking for CTL - Bhat, Cleavland et al. - 1995
16 A decision procedure for a temporal belief logic - Wooldridge, Fisher - 1994
16 Tableaux Methods for Modal and Temporal Logics (context) - Gor'e - 1995
7 A resolution-based proof method for temporal logics of knowl.. - Fisher, Wooldridge et al. - 1996
6 Epistemic Logic for Computer Science and Artificial Intellig.. (context) - Meyer, van der Hoek - 1995
5 Springer-Verlag: Heidelberg (context) - Smullyan - 1968
4 Axioms for Knowledge and Time in Distributed Systems with Pe.. - van der Meyden - 1994
4 Journal of Symbolic Logic (context) - Smullyan - 1968
1 An Implementation of a Tableau-Based Decision Procedure for .. (context) - Elliot - 1996
1 Cut-Free Sequent Systems for Propositional Normal Modal Logi.. (context) - Gor'e - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://dali.doc.aca.mmu.ac.uk/STAFF/C.Dixon/cld-pubs/cld-pubs.html): More
Search Strategies for Resolution in Temporal Logics - Dixon (1996) (Correct)
Resolution for Temporal Logics of Knowledge - Dixon, Fisher, Wooldridge (1998) (Correct)
A Graph-Based Approach To Resolution In Temporal Logic - Dixon, Fisher, Barringer (1994) (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