Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.

Modality (Logic) --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Modality (Logic) --- Modalité (Logique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)