1.

Record Nr.

UNISALENTO991003281199707536

Autore

Kracht, Marcus

Titolo

Tools and techniques in modal logic [e-book] / Marcus Kracht

Pubbl/distr/stampa

Amsterdam ; New York : Elsevier, 1999

ISBN

9780444500557

0444500553

Descrizione fisica

xiii, 559 p. : ill. ; 24 cm

Collana

Studies in logic and the foundations of mathematics ; 142

Disciplina

511.3

Soggetti

Modality (Logic)

Lingua di pubblicazione

Inglese

Formato

Risorsa elettronica

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references (p. 549-559) and index

Sommario/riassunto

This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book



2.

Record Nr.

UNINA9910778335803321

Autore

Ganjī Akbar

Titolo

The road to democracy in Iran / / Akbar Ganji ; foreword by Joshua Cohen and Abbas Milani ; translated by Abbas Milani

Pubbl/distr/stampa

Cambridge, MA, : MIT Press, ©2008

ISBN

0-262-26074-3

1-282-09940-X

9786612099403

0-262-27345-4

1-4356-3306-7

Descrizione fisica

1 online resource (144 p.)

Collana

A Boston review book

Altri autori (Persone)

MilaniAbbas

Disciplina

320.955

Soggetti

Democracy - Iran

Human rights - Iran

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references.

Nota di contenuto

Contents; Foreword; Prologue; 1; 2; 3; 4

Sommario/riassunto

A famous Iranian dissident calls for universal human rights and democracy based on our common humanity.