Searching for "Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004" – sorted by Relevance.
331,150 documents found, showing 1 through 10.
Next 10 →
-
Advances in Modal Logic `96
- …Advances in Modal Logic `96 edited by Marcus Kracht, Maarten de Rijke, Heinrich Wansing…
- Add To MetaCart
-
Advances in Modal Logic, Volume 3
- …, showing From Description to Hybrid Logics, and Back / 5 that there are no basic modal formula capturing…
- Add To MetaCart
-
Temporal and modal logic
- … of the theoretical aspects of Temporal and Modal Logic. (Note: This paper is to appear in the Handbook of Theoretical…
- Cited by 909 (15 self) – Add To MetaCart
-
Modal Logics for AI Planning
- … clarity. The basic motivation to use modal logic for planning tasks comes from the observation that the so…
- Cited by 1 (1 self) – Add To MetaCart
-
Complexity of Modal Logics of Relations
- …, London email: mm28@(email omitted);.uk October 17, 1997 Abstract We consider two families of modal logics…
- Cited by 24 (9 self) – Add To MetaCart
-
Description of Modal Logics
- … and notation (for deep acquaintances confer [12] for advanced technique concerning inference rules, and [5…
- Add To MetaCart
-
On the complexity of fragments of modal logics
- …, Bn, KD5n, KD45n, S5n is PTIME-complete. 1 Introduction In the field of modal logics, a lot of works…
- Cited by 3 (1 self) – Add To MetaCart
-
Modal Logics of Ordered Trees
- …, from an abstract point of view, our extended temporal logic may be characterised as a modal logic…
- Cited by 5 (4 self) – Add To MetaCart
-
On Modal Decision Logics
- …On Modal Decision Logics Tuan-Fang Fan Department of Information Engineering National Penghu…
- Cited by 2 (2 self) – Add To MetaCart
-
The modal logic of agency
- …Dag Elgesem THE MODAL LOGIC OF AGENCY In this paper I discuss and develop suggestions concerning…
- Cited by 21 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
