Searching for "Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002" – sorted by Relevance.
329,495 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
- …Advances in Modal Logic, Volume 3 F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, eds…
- 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 905 (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); October 17, 1997 Abstract We consider two families of modal logics…
- Cited by 24 (9 self) – Add To MetaCart
-
Description of Modal Logics
- …-cover property from mentioned paper and our new one coincide. 4 Tabular Logics Inheriting Admissible Rules of S4…
- Add To MetaCart
-
On the complexity of fragments of modal logics
- … of Horn modal clauses with modal depth bounded by k ≥ 2 in the modal logics K 4 and KD4 is PSPACE…
- 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
- … of Regina, Regina Saskatchewan, Canada S4S 0A2 yyao@(email omitted); Abstract Some modal decision logic…
- 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 →
