This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this...
This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily ...
Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable for any advanced student and researcher in pure and...
Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial i...
In The Sappho History , Margaret Reynolds traces the story of the reception of Sappho's poetry and her afterlife in literature and art from the mid eighteenth-century to the twentieth-century. Richly illustrated throughout, The Sappho History provides a new view of Western culture from the Romantic period to the Modern.
In The Sappho History , Margaret Reynolds traces the story of the reception of Sappho's poetry and her afterlife in literature and art from the mid ei...
