More Books:

Extensions of First-Order Logic
Language: un
Pages: 388
Authors: Maria Manzano, Profesora Titular de Logica Maria Manzano
Categories: Computers
Type: BOOK - Published: 1996-03-29 - Publisher: Cambridge University Press

This book introduces some extensions of classical first-order logic and applies them to reasoning about computer programs. The extensions considered are: second-order logic, many-sorted logic, w-logic, modal logic type theory and dynamic logic. These have wide applications in various areas of computer science, philosophy, natural language processing and artificial intelligence.
Handbook of Philosophical Logic
Language: un
Pages: 788
Authors: Dov M. Gabbay, Franz Guenthner
Categories: Philosophy
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'. The inclusion of such 'indices' has turned out to be the semantic mainstay in dealing with a number of issues having
Fixed-point Extensions of First-order Logic
Language: un
Pages: 24
Authors: Y. Gurevich, University of Michigan. Computing Research Laboratory, S. Shelah
Categories: Induction
Type: BOOK - Published: 1985 - Publisher:

Books about Fixed-point Extensions of First-order Logic
Trends in Theoretical Computer Science
Language: en
Pages: 380
Authors: Egon Börger
Categories: Computer science.
Type: BOOK - Published: 1988 - Publisher: Computer Science Press, Incorporated

Books about Trends in Theoretical Computer Science
Conservative Extensions and Satisfiability in Fragments of First-order Logic
Language: un
Pages:
Authors: Mauricio Martel
Categories: Computer science.
Type: BOOK - Published: 2018 - Publisher:

Books about Conservative Extensions and Satisfiability in Fragments of First-order Logic