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 Fitting, Melvin
Published 1990
Springer New York
Table of Contents: “... First-Order Logic -- 5.1 First-Order Logic — Syntax -- 5.2 Substitutions -- 5.3 First-Order Semantics...”
Cover Image
Read Now

3
by Fitting, Melvin
Published 1996
Springer New York
Table of Contents: “... The Sequent Calculus -- 4.4 The Davis-Putnam Procedure -- 4.5 Computational Complexity -- 5 First-Order Logic...”
Cover Image
Read Now

4
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

5
by Bibel, Wolfgang
Published 1987
Vieweg+Teubner Verlag
Table of Contents: “.... The connection method in first-order logic -- IV. Variants and improvements -- V. Applications and extensions...”
Cover Image
Read Now

6
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

7
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

8
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

9 Table of Contents: “.... Propositional Logic -- 4. First-Order Logic -- 5. Hoare Logic -- 6. Generating Verification Conditions -- 7...”
Cover Image
Read Now

10
by Huisman, Marieke, Wijs, Anton
Published 2023
Springer International Publishing
Table of Contents: “...1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4...”
Cover Image
Read Now

11
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Organizational Security Properties in First-Order Logic -- Change Management for Heterogeneous Development Graphs...”
Cover Image
Read Now

12
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... First-Order Logic -- Institutions: An Abstract Framework for Formal Specifications -- Specification...”
Cover Image
Read Now

13
by Nienhuys-Cheng, Shan-Hwei, Wolf, Ronald de
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Propositional logic -- First-order logic -- Normal forms and Herbrand models -- Resolution...”
Cover Image
Read Now

14
by Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- The classical reasoner -- Basic concepts -- First-order logic -- Zermelo-Fraenkel set theory -- Higher-order...”
Cover Image
Read Now

15
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... with CL-Atse -- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols...”
Cover Image
Read Now

16
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...-Conjunctive Queries, Constraints, Views -- Adding For-Loops to First-Order Logic -- Logic -- Definability...”
Cover Image
Read Now

17
Published 2019
Springer International Publishing
Table of Contents: “...Strong Equivalence and Program's Structure in Arguing Essential Equivalence between First-Order...”
Cover Image
Read Now

18
Published 2024
Springer Nature Switzerland
Table of Contents: “.... -- JustAct Actions Universally Justified by Partial Dynamic Policies. -- Synthesis for Prefix FirstOrder...”
Cover Image
Read Now

19
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... sur des mots infinis -- Star-free ?-languages and first order logic -- A formal proof system...”
Cover Image
Read Now

20
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... in Software Requirements -- Automated Verification of Variability Model Using First Order Logic -- Model-based...”