Cover Image
Read Now

1
by Groza, Adrian
Published 2021
Springer International Publishing
“... new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical...”
Cover Image
Read Now

2
by Ben-Ari, Mordechai
Published 2012
Springer London
Table of Contents: “... -- Propositional Logic: SAT Solvers -- First-Order Logic: Formulas, Models, Tableaux -- First-Order Logic...”
Cover Image
Read Now

3
by Srivastava, Shashi Mohan
Published 2008
Springer New York
Table of Contents: “...Syntax of First-Order Logic -- Semantics of First-Order Languages -- Propositional Logic -- Proof...”
Cover Image
Read Now

4
by Srivastava, Shashi Mohan
Published 2013
Springer New York
Table of Contents: “...Preface -- 1 Syntax of First-Order Logic -- 2 Semantics of First-Order Languages -- 3 Propositional...”
Cover Image
Read Now

5
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
Springer International Publishing
Table of Contents: “... Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B...”
Cover Image
Read Now

6
by Prestel, Alexander, Delzell, Charles N.
Published 2011
Springer London
Table of Contents: “...First-Order Logic -- Model Constructions -- Properties of Model Classes -- Model Theory of Several...”
Cover Image
Read Now

7
by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Published 2009
Springer Netherlands
Table of Contents: “... Logics -- Uniformity and Efficiency -- First-Order Logics -- Further Topics...”
Cover Image
Read Now

8
by Kornai, András
Published 2020
Springer International Publishing
Table of Contents: “...Introduction -- Linear Spaces, Boolean Algebras, and First Order Logic -- Prolepsis -- Graphs...”
Cover Image
Read Now

9
by Rautenberg, Wolfgang
Published 2010
Springer New York
Table of Contents: “...Propositional Logic -- First-Order Logic -- Complete logical Calculi -- Foundations of Logic...”
Cover Image
Read Now

10
by Cellucci, Carlo
Published 2022
Springer International Publishing
Table of Contents: “...First-Order Logic -- Completeness -- First-Order Theories -- Primitive Recursive Arithmetic...”
Cover Image
Read Now

11
by Hou, Zhe
Published 2021
Springer International Publishing
Table of Contents: “...1. Introduction to Logic -- 2. First-order Logic -- 3. Non-classical Logics -- 4. Automata Theory...”
Cover Image
Read Now

12
by Polkowski, Lech T.
Published 2022
Springer International Publishing
Table of Contents: “...Propositional logic -- First-order logic -- Propositional modal logic -- Epistemic, default...”
Cover Image
Read Now

13
by Polkowski, Lech T.
Published 2023
Springer Nature Switzerland
Table of Contents: “...Introduction: Prerequisites -- Sentential Logic -- Rudiments of First-order Logic -- Modal...”
Cover Image
Read Now

14
by Rasga, João, Sernadas, Cristina
Published 2020
Springer International Publishing
Table of Contents: “...Chapter 1: First Order Logic -- Chapter 2: Reasoning with Theories -- Chapter 3: Decidability...”
Cover Image
Read Now

15
Published 2016
Springer International Publishing
Table of Contents: “... Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving...”
Cover Image
Read Now

16
by Ciardelli, Ivano
Published 2022
Springer International Publishing
Table of Contents: “.... Reasoning with questions -- 5. Questions in first-order logic -- 6. Questions in modal logic -- 7...”
Cover Image
Read Now

17 Table of Contents: “... Closure systems -- 1.8 First order logic (FOL) -- 2 Basics from Universal Algebra.-2.1 Examples...”
Cover Image
Read Now

18
by Ognjanović, Zoran, Rašković, Miodrag, Marković, Zoran
Published 2016
Springer International Publishing
Table of Contents: “... Functions -- Intuitionistic, Temporal, First-Order Logic -- Conditional Probabilities -- Probabilistic...”
Cover Image
Read Now

19
by Li, Wei, Sui, Yuefei
Published 2021
Springer Nature Singapore
Table of Contents: “... Logics -- R-calculi for Modal Logic -- R-calculi for Logic Programming -- R-calculi for First-order Logic...”
Cover Image
Read Now

20
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
Springer Netherlands
Table of Contents: “... -- Heterogeneous fibring -- Fibring non-truth functional logics -- Fibring first-order logics -- Fibring higher...”