Chapter 28. Proofs and Expressiveness in Alethic Modal Logic

  1. Dale Jacquette
  1. Maarten de Rijke and
  2. Heinrich Wansing

Published Online: 26 NOV 2007

DOI: 10.1002/9780470996751.ch29

A Companion to Philosophical Logic

A Companion to Philosophical Logic

How to Cite

de Rijke, M. and Wansing, H. (2006) Proofs and Expressiveness in Alethic Modal Logic, in A Companion to Philosophical Logic (ed D. Jacquette), Blackwell Publishing Ltd, Oxford, UK. doi: 10.1002/9780470996751.ch29

Publication History

  1. Published Online: 26 NOV 2007
  2. Published Print: 1 JAN 2006

ISBN Information

Print ISBN: 9780631216711

Online ISBN: 9780470996751

SEARCH

Keywords:

  • proofs;
  • alethic modal logic;
  • alethic modalities;
  • model theory;
  • sahqlvist correspondence theorem

Summary

This chapter contains sections titled:

  • Introduction

  • Model Theory

  • Proof Theory

  • Modal Predicate Logic