1
by Mogavero, Fabio
Published 2013
Atlantis Press
Table of Contents: ...Graded Computation Tree Logic -- Minimal Model Quantifiers -- Reasoning About Strategies...

2
by Moutafakis, N.J.
Published 1987
Springer Netherlands
Table of Contents: ... Toward a Logic of Preference -- 2. Aristotelean Reflections in Richard M. Martin’s Extensionalized...

3
by Hintikka, Jaakko, Hintikka, Merrill B.P.
Published 1989
Springer Netherlands
Table of Contents: ...Essay 1. Is Alethic Modal Logic Possible? -- Essay 2. Reasoning About Knowledge in Philosophy...

4
Published 1996
Springer Netherlands
Table of Contents: ... Logic and Methodology of Science -- 4. Hierarchical Learning of Boolean Functions -- 5. Inference...

5
by Doets, Kees
Published 1994
MIT Press
Subjects: ...Logic programming...

6
by Nicole, Pierre
Published 1717
printed for William Taylor, at the Ship in Pater-Noster-Row
Subjects: ...Logic / Early works to 1800...

7
by Czelakowski, Janusz
Published 2001
Springer Netherlands
Table of Contents: ...0. Basic definitions and facts -- I. Protoalgebraic Logics. The Leibniz Operator -- 1...

8
by Munn, Luke
Published 2018
meson press
... guaranteed. The irreducibility of the world renders logic inadequate and control gives way to contingency....

9
by T. Atanassov, Krassimir
Published 2017
Springer International Publishing
Table of Contents: ...Elements of Intuitionistic Fuzzy Propositional Calculus -- Intuitionistic Fuzzy Predicate Logic...

10
by Birtwistle, Graham
Published 1996
Springer

11
by Rasiowa, Helena
Published 1974
North-Holland Pub. Co.
Subjects: ...Algebraic logic / fast / (OCoLC)fst00804936...

12
by Stout, Margaret
Published 2012
CRC Press

13
by Hellman, Geoffrey
Published 2021
Cambridge University Press
Subjects: ...Logic, Symbolic and mathematical...

14
Published 2016
Cambridge University Press
...Perspectives in logic...

15
by Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

16
by Kakas, Antonis C
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

17
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Computational Logician -- Bob Kowalski: A Portrait -- Bob Kowalski: A Portrait -- Directions for Logic...

18
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Logic in Databases and Information Integration -- MuTACLP: A Language for Temporal Reasoning...

19
by Ma, Yanjun, Kan, Edwin
Published 2017
Springer International Publishing
Table of Contents: ...Part 1. Basics -- 1. Introduction -- 2. Overview of Logic CMOS Devices -- 3. Overview of Logic CMOS...