First Steps in Modal Logic
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Cambridge University Press

9780521464826, 9780521057936, 9780511983382

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

More advanced material

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.019 ◽

1994 ◽

pp. 185-186

Keyword(s):

Advanced Material

Download Full-text

Standard formal systems

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.012 ◽

1994 ◽

pp. 97-118

Keyword(s):

Formal Systems

Download Full-text

Filtrations

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.017 ◽

1994 ◽

pp. 157-168

Download Full-text

The finite model property

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.018 ◽

1994 ◽

pp. 169-184

Keyword(s):

Finite Model ◽

Model Property ◽

Finite Model Property

Download Full-text

Labelled transition structures

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.006 ◽

1994 ◽

pp. 25-38

Keyword(s):

Transition Structures

Download Full-text

The what, why, where,… of modal logic

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.024 ◽

1994 ◽

pp. 237-246

Keyword(s):

Modal Logic

Download Full-text

Correspondence theory

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.008 ◽

1994 ◽

pp. 61-76

Keyword(s):

Correspondence Theory

Download Full-text

Löb logic

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.021 ◽

1994 ◽

pp. 201-216

Download Full-text

Introduction

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.001 ◽

1994 ◽

pp. xi-xiii

Download Full-text

Some solutions to the exercises

First Steps in Modal Logic ◽

10.1017/cbo9780511983382.025 ◽

1994 ◽

pp. 247-310

Download Full-text