1
by Benthem, Johan van
Published 2007
Amsterdam Univsity Press
Table of Contents: ...Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial...

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... process logic -- Sometimes “Tomorrow” is “Sometime” -- Applications of transaction logic to knowledge...

3
by Gabbay, Dov M.
Published 2003
Elsevier North Holland
Table of Contents: ...Part I: Introduction -- Chapter 1. Modal logic basics -- Chapter 2. Applied modal logic -- Chapter...

4
by Gabbay, Dov M., Schlechta, Karl
Published 2011
Springer Berlin Heidelberg
Subjects: ...Mathematical logic...

5
Published 2006
Springer New York
Table of Contents: ...Nonstandard Inferences in Description Logics: The Story So Far -- Problems in the Logic...

6
by Gabbay, Dov M., Schlechta, Karl
Published 2016
Springer International Publishing
Table of Contents: ...Part I - Introduction -- Part II - Background Material -- Basic Algebraic and Logical Definitions...

7
by Gabbay, Dov M.
Published 2008
North Holland
Table of Contents: ...1. "Logic before 1100: The Latin Tradition" by John Marenbon -- 2. "Beginning of Scholastic Logic...

8
Published 1986
Springer Netherlands
Table of Contents: ...to Volume III -- III.1. Partial Logic -- III.2. Many-valued Logic -- III.3. Relevance Logic...

9
Published 2002
Springer Netherlands
Table of Contents: ...The Logic of Questions -- Sequent Systems for Modal Logics -- Deontic Logic -- Deontic Logic...

10
Published 1989
Springer Netherlands
Subjects: ...Mathematical logic...

11
Published 1984
Springer Netherlands
Table of Contents: ...to Volume II -- II.1. Basic Modal Logic -- II.2.Basic Tense Logic -- II.3. Combinations of Tense...

12
Published 1983
Springer Netherlands
Table of Contents: ...to Volume I -- I.1. Elementary Predicate Logic -- I.2. Systems of Deduction -- I.3. Alternatives...

13
by Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents: ...Preface (D.M. Gabbay, J. Woods) -- List of Contributors -- Leibniz's Logic (W. Lenzen) -- Kant...

14
Published 2011
Springer Netherlands
Table of Contents: ... Russo -- Refutation Systems in Propositional Logic: Tomasz Skura -- Quantifier Scope in Formal...

15
Published 2011
Springer Netherlands
Subjects: ...Logic...

16
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
Springer Netherlands
Table of Contents: ...Introductory overview -- Splicing logics: Syntactic fibring -- Splicing logics: Semantic fibring...

17
Published 2007
Springer Netherlands
Table of Contents: ...Editorial Preface; D.M. Gabbay -- Logics of Formal Inconsistency; W. Carnielli, M.E. Coniglio, J...

18
by Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents: ...from Leibniz to Frege -- v. 4. British logic in the nineteenth century -- v. 5. Logic from Russell...

19
Published 2014
Springer Netherlands
Table of Contents: ...Editorial Preface; Dov M. Gabbay -- Hybrid Logic; Torben Braüner -- Nominal Terms and Nominal...

20
Published 2000
Springer Netherlands
Subjects: ...Mathematical logic...