Handbook of Modal Logic - Studies in Logic and Practical Reasoning
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By Elsevier

9780444516909

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

13 Description logic

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80016-4 ◽

2007 ◽

pp. 757-819 ◽

Author(s):

Franz Baader ◽

Carsten Lutz

Keyword(s):

Description Logic

Download Full-text

5 Model theory of modal logic

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80008-5 ◽

2007 ◽

pp. 249-329 ◽

Author(s):

Valentin Goranko ◽

Martin Otto

Keyword(s):

Modal Logic ◽

Download Full-text

6 Algebras and coalgebras

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80009-7 ◽

2007 ◽

pp. 331-426 ◽

Author(s):

Yde Venema

Download Full-text

18 Intelligent agents and common sense reasoning

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80021-8 ◽

2007 ◽

pp. 991-1029 ◽

Author(s):

John-Jules Meyer ◽

Frank Veltman

Keyword(s):

Common Sense ◽

Intelligent Agents ◽

Common Sense Reasoning

Download Full-text

21 Modal logic and philosophy

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80024-3 ◽

2007 ◽

pp. 1149-1214 ◽

Author(s):

Sten Lindström ◽

Krister Segerberg

Keyword(s):

Download Full-text

2 Modal proof theory

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80005-x ◽

2007 ◽

pp. 85-138 ◽

Author(s):

Melvin Fitting

Keyword(s):

Download Full-text

8 Modal consequence relations

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80011-5 ◽

2007 ◽

pp. 491-545 ◽

Author(s):

Marcus Kracht

Keyword(s):

Consequence Relations

Download Full-text

17 Automata-theoretic techniques for temporal reasoning

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80020-6 ◽

2007 ◽

pp. 971-989 ◽

Author(s):

Moshe Y. Vardi

Keyword(s):

Temporal Reasoning

Download Full-text

3 Complexity of modal logic

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80006-1 ◽

2007 ◽

pp. 139-179 ◽

Author(s):

Maarten Marx

Keyword(s):

Download Full-text

12 Modal mu-calculi

Handbook of Modal Logic - Studies in Logic and Practical Reasoning ◽

10.1016/s1570-2464(07)80015-2 ◽

2007 ◽

pp. 721-756 ◽

Author(s):

Julian Bradfield ◽

Colin Stirling

Download Full-text