Advertisement

Introduction

  • Fred Kröger
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 8)

Abstract

Important goals of mathematical logic are, in general, to:
  • provide languages for the precise formulation of propositions,

  • investigate mechanisms for finding out the truth or falsity of propositions.

Keywords

Modal Logic Temporal Logic Classical Logic Propositional Logic Atomic Formula 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Fred Kröger
    • 1
  1. 1.Institut für InformatikUniversität MünchenMünchen 2Germany

Personalised recommendations