Advances in Modal Logic

by Wolter, Frank; Wansing, Heinrich; Wansing, Heinrich; De Rijke, Maarten

• ISBN13: 9789812381798
• ISBN10: 9812381791
• Format: Hardcover
• Copyright: 2003-02-01
• Publisher: WORLD SCIENTIFIC PUB CO INC

Summary

A unique forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.

Table of Contents

Preface
On Arithmetical Completeness of First-Order Logics of Provability	p. 1
From Description to Hybrid Logics, and Back	p. 17
Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting	p. 37
Homophonic theory of Truth for Tense Logic	p. 59
Weak Necessity on Weak Kleene Matrices	p. 73
Bimodal Logics for Reasoning about Continuous Dynamics	p. 91
Modal Logics with Weak Forms of Recursion: PSPACE Specimens	p. 113
Towards a Many-Dimensional Modal Logic for Semantic Processing	p. 139
Algorithmic Correspondence Theory for Substructural Categorial Logic	p. 153
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic	p. 173
From Bisimulation Quantifiers to Classifying Toposes	p. 193
Sahlqvist Formulas Unleashed in Polyadic Modal Languages	p. 221
Normal Products of Model Logics	p. 241
A Tableau Algorithm for the Clique Guarded Fragment	p. 257
Epistemic Logic of Shallow Depths and Game Theoretical Applications	p. 279
The Semantics of Modal Predicate Logic I. Counterpart-Frames	p. 299
S5 x S5 x S5 Lacks the Finite Model Property	p. 321
The Complexity of Reasoning with Boolean Modal Logics	p. 329
Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4	p. 349
Outline of a Logic of Action	p. 365
Belief, Names, and Modes of Presentation	p. 389
Subject Index	p. 409
Author Index	p. 413
Table of Contents provided by Blackwell. All Rights Reserved.