Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 8)
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.
KeywordsModal 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.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1987