Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

Conditionals and Modularity in General Logics

Part of the Cognitive Technologies Book Series

DOI: 10.1007/978-3-642-19068-1

ISBN: 978-3-642-19067-4

Publisher: Springer Berlin Heidelberg - Springer Journals

Jul 13, 2011

Available

Introduction

Gabbay, Dov M.; Schlechta, Karl

Pages: 1 –30

[This text centers around the following main subjects: (1) The concept of modularity and independence in classical logic and non-monotonic and other non-classical logic and the consequences on (syntactic and semantical) interpolation and language change. In particular, we will show the connection...
Available

Basic Definitions

Gabbay, Dov M.; Schlechta, Karl

Pages: 31 –83

[This chapter contains basic definitions and results, sometimes slightly beyond the immediate need of this book, as we want to put our work a bit more in perspective, and make it self-contained, for the convenience of the reader. Most of the material of this chapter (unless marked as “new”) was...
Available

Towards a Uniform Picture of Conditionals

Gabbay, Dov M.; Schlechta, Karl

Pages: 85 –112

[The word “conditional” contains “condition”. So, a conditional is a structure of the form “if condition c holds, then so will property p”. Thus, conditionals seem to be at least always binary. But the condition may be hidden in additional structure (such as a Kripke model relation or a...
Available

Monotone and Antitone Semantic and Syntactic Interpolation

Gabbay, Dov M.; Schlechta, Karl

Pages: 113 –151

[Chapters 4 (page 113) and 5 (page 153) are probably the core of the present book.We treat very general interpolation problems for monotone and antitone, two-valued and many-valued logics in the present chapter, splitting the question into two parts, “semantical interpolation” and “syntactic...
Available

Laws About Size and Interpolation in Non-monotonic Logics

Gabbay, Dov M.; Schlechta, Karl

Pages: 153 –195

[We connect here properties of abstract multiplication of abstract size to interpolation problems in non-monotonic logic. The size properties are, themselves, connected to properties of the preference relation in preferential logics. ]
Available

Neighbourhood Semantics

Gabbay, Dov M.; Schlechta, Karl

Pages: 197 –216

[Neighbourhood semantics, probably first introduced by D. Scott and R. Montague in [Sco70] and [Mon70], and used for deontic logic by O. Pacheco in [Pac07] to avoid unwanted weakening of obligations, seem to be useful for many logics. ]
Available

Conclusion and Outlook

Gabbay, Dov M.; Schlechta, Karl

Pages: 217 –221

[An important part of this book concerns the concept of independence. One of the authors described it as “homogenousness” in his first book, [Sch97]. But it took quite some time and several detours to find a reasonable, and in hindsight obvious, answer.]

results per page

Prev
1
Next

Browse All eBooks