1
Published 2014
Springer International Publishing
Table of Contents: '; ... for Epistemic Logic; Nick Bezhanishvili and Wiebe van der Hoek -- Logic and Probabilistic Update; Lorenz Demey...

2
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...

3
Published 2013
Springer Netherlands
Table of Contents: '; ...Introduction -- Part I. What are Mathematical Arguments? -- Chapter 1. Non-Deductive Logic...

4
by Diaconescu, Razvan
Published 2008
Birkhäuser Basel
Table of Contents: '; ...Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts...

5
Published 2016
Springer International Publishing
Table of Contents: '; ... between Gentzen and Heyting inspired PTS; Dag Prawitz -- Chapter 9. Unification of logics by reflection...

6
by Czelakowski, Janusz
Published 2015
Springer Netherlands
Subjects: '; ...Logic...

7
by Abrusci, Vito Michele, Tortora de Falco, Lorenzo
Published 2014
Springer Milan
Subjects: '; ...Logic...

8
by Shramko, Yaroslav, Wansing, Heinrich
Published 2012
Springer Netherlands
Subjects: '; ...Logic...

9
by Braüner, Torben
Published 2011
Springer Netherlands
Table of Contents: '; ...Preface, -- 1 Introduction to Hybrid Logic -- 2 Proof-Theory of Propositional Hybrid Logic -- 3...

10
by Orlowska, Ewa, Golińska Pilarek, Joanna
Published 2011
Springer Netherlands
Table of Contents: '; ...1. Dual Tableau for Classical First-Order Logic -- 2. Dual Tableaux for Logics of Classical...

11
by Geldsetzer, Lutz, Schwartz, Richard L.
Published 2013
Springer Netherlands
Subjects: '; ...Logic...

12
Published 2017
Springer International Publishing
Table of Contents: '; ...Perspective Feferman: Autobiography I. Mathematical Logic -- Model Theory -- Set Theory -- Proof...

13
Published 2016
Springer International Publishing
Table of Contents: '; ...Introduction -- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic...

14
by Esakia, Leo
Published 2019
Springer International Publishing
Subjects: '; ...Logic...

15
Published 2020
Springer International Publishing
Subjects: '; ...Logic...

16
Published 2014
Springer Netherlands
Table of Contents: '; ...-theoretical Conception of Logic; Legris, Javier -- Chapter 6. On the Structure of Natural deduction...

17
by Martin, N.M., Pollard, S.
Published 1996
Springer US
Table of Contents: '; ...1 Logic and Topology -- 2 Basic Topological Properties -- 3 Some Theorems of Tarski -- 4 Continuous...

18
by Caferra, Ricardo, Leitsch, Alexander, Peltier, Nicolas
Published 2004
Springer Netherlands
Subjects: '; ...Logic...

19
by Odintsov, Sergei
Published 2008
Springer Netherlands
Table of Contents: '; ...Reductio ad Absurdum -- Minimal Logic. Preliminary Remarks -- Logic of Classical Refutability...

20
by Fraïssé, R.
Published 1973
Springer Netherlands
Subjects: '; ...Logic...