Cognitive Reasoning pp 93-123 | Cite as
First-Order Logics
Chapter
First Online:
Abstract
In this chapter we introduce the first-order logics that correspond to the propositional ones discussed in the previous section. We will consider many-sorted firstorder logics where many-sortedness is significant for the applications further to be discussed.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Springer-Verlag Berlin Heidelberg 2010