… of the institutional logic concept and to build on … logic and how it emerged as part of the
development of institutional theory since the 1970s. Second, we illustrate the institutional logics …

… (LF) provides a means to define (or present) logics. It is based on a … The practical benefit of
our treatment of formal systems is that logic-… logics in LF, we introduce the judgments-as-types …

… This chapter introduces logic from an informal point of view. In later chapters, as we examine
… It is the milieu out of which the study of logic emerges, and to which, ultimately, it must return…

Philosophy of Logics Philosophy of Logics …

… logic … logic and in particular the notion of a possible world have a much wider application
than the extraordinarily intensive, but very restricted, studies of particular intensional logics …

… Each logic determines the meaning of its connectives either directly, through the rules of
inference characteristic of it or indirectly, through the semantic interpretation on which the …

… our purposes a logic is given by an arbitrary set of axioms and inference rules. Logics
specified in this way have been called deductive or logistic systems. More exactly, for us a logic is …

… logics arises both from applications and from within logic itself as a discipline. As logic is …
intelligence, logic programming and computer science, the kind of logics required become more …

… ), higher order logics and even default inheritance. We … of logic, and we present only the
particular flavour of logic that … ¹Given the heavy use in SDRT of computationally complex logics…

… , in particular first order and modal logics, (2) the most commonly … we will introduce description
logics, a family of logic-based … We will then introduce the basic description logic ALC in …