Rogier M. Van Eijk, Frank S. De Boer, Wiebe Van Der Hoek, John-Jules Ch. Meyer  Home/Search
Context
Related
| csc.liv.ac.uk/~wiebe/pubs...bounded.pdf 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: csc.liv.ac.uk/~wiebe/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper , we present a logical framework that combines modality with a first-order variable-binding mechanism. The logic, which belongs to the family of hybrid languages, differs from standard first-order modal logics in that quantification is not performed inside the worlds of a model, but the worlds in the model themselves constitute the domain of quantification. The locality principle of modal logic is preserved via the condition that in each world, the domain of quantification is... (Update)
Similar documents (at the sentence level):
6.7%: A Modal Logic for Network Topologies - van Eijk, de Boer, van der Hoek.. (2000) (Correct)
Active bibliography (related documents): More All
0.1: Decidability of Class-Based Knowledge Representation Formalisms - De Giacomo (1995) (Correct)
0.1: Description Logics: Modal Logics for Class-Based Modeling - De Giacomo (Correct)
0.1: On the Complexity of Hybrid Logics with Binders - Cate, Franceschet (2005) (Correct)
Similar documents based on text: More All
0.9: Translations of Vocabularies in Systems of.. - van Eijk, de Boer.. (1998) (Correct)
0.8: Generalised Object-Oriented Concepts for Inter-Agent .. - van Eijk, de Boer.. (2001) (Correct)
0.8: Information-Passing and Belief Revision in Multi-Agent .. - van Eijk, de Boer.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ eijk-modal,
author = "Rogier M. Van Eijk and Frank S. De Boer and Wiebe Van Der Hoek and John-Jules
Ch. Meyer",
title = "Modal Logic with Bounded Quantification over Worlds",
url = "citeseer.ist.psu.edu/vaneijk01modal.html" }
Citations (may not include all citations):357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
69 Modal Logic and Classical Logic (context) - van Benthem - 1983
36 Language and Information (context) - Blackburn, Seligman et al. - 1995
33 An approach to tense logic (context) - Bull - 1970
32 A road-map on the complexity of hybrid logics - Areces, Blackburn et al. - 1999
22 Propositional temporal logics and equivalences - Goltz, Kuiper et al. - 1992
18 Kluwer Academic Publishers (context) - Fitting, Mendelsohn et al. - 1998
9 Modal logics and bounded fragments of predicate logic (context) - Andreka, van Benthem et al. - 1999
7 the semantics of graded modalities (context) - van der Hoek - 1992
1 A modal logic for network topologies - van Eijk, de Boer et al. - 2000
Documents on the same site (http://www.csc.liv.ac.uk/~wiebe/pubs/): More
Model Checking a Knowledge Exchange Scenario - van Otterloo, van der Hoek.. (2003) (Correct)
Model Checking Cooperation, Knowledge, and Time - A Case.. - van der Hoek, Wooldridge (Correct)
Tractable Multiagent Planning for Epistemic Goals - van der Hoek, Wooldridge (2002) (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