Kripke's worlds : an introduction to modal logics via tableaux

Web Site CiNii Available at 9 libraries

Bibliographic Information

Title
"Kripke's worlds : an introduction to modal logics via tableaux"
Statement of Responsibility
Olivier Gasquet ... [et al.]
Publisher
  • Birkhäuser
  • Springer
Publication Year
  • c2014
Book size
24 cm

Search this Book/Journal

Notes

Other authors: Andreas Herzig, Bilal Said, François Schwarzentruber

Includes bibliographical references (p. 191-193) and index

Related Books

See more

Details 詳細情報について

Back to top