Narrow your search

Library

KU Leuven (9)

UGent (7)

UAntwerpen (5)

ULiège (5)

KBR (4)

UCLouvain (3)

ULB (3)

Odisee (2)

UNamur (2)

UHasselt (1)


Resource type

book (13)


Language

English (11)

German (2)


Year
From To Submit

1994 (13)

Listing 1 - 10 of 13 << page
of 2
>>
Sort by

Book
First steps in modal logic
Author:
ISBN: 0511983387 Year: 1994 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided.

Keywords

Modality (Logic)

Die Modallogik des Aristoteles in den Analytica Priora A
Author:
ISBN: 3487098881 Year: 1994 Publisher: Hildesheim Olms

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
On the philosophy of a attitude logic
Author:
ISBN: 951926423X Year: 1994 Publisher: Helsinki : Societas philosophica Fennica,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Carcinoma of the oral cavity and oropharynx
Authors: --- ---
ISBN: 3540568190 0387568190 3642849733 3642849717 Year: 1994 Volume: 134 Publisher: Berlin : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Modality and meaning
Author:
ISBN: 0792330064 0792330072 9401109362 9780792330066 Year: 1994 Volume: 53 Publisher: Dordrecht : Kluwer,

Modales passiv und tough movement : zur strukturellen Kausalität eines syntaktischen Wandels im Deutschen und Englischen
Author:
ISBN: 3484303263 Year: 1994 Volume: 326 Publisher: Tübingen Max Niemeyer Verlag

Physical rehabilitation : assessment and treatment
Authors: ---
ISBN: 0803666993 Year: 1994 Publisher: Philadelphia (Pa.): Davis

Listing 1 - 10 of 13 << page
of 2
>>
Sort by