There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 10

Record: found
Abstract: not found
Article: not found

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam (1960)

0 comments Cited 222 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Modal Logic

Brian F. Chellas (2012)

0 comments Cited 66 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

SATO: An efficient propositional prover

Hantao Zhang (1997)

0 comments Cited 38 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2000

Publication date (Online): December 15 2000

Pages: 95-106

DOI: 10.1007/3-540-46238-4_9

SO-VID: 3a6935f0-404b-4ebe-acee-b5404939b54d

History

Data availability:

The SAT-Based Approach for Classical Modal Logics

Read this book at

Related collections

Value-based Healthcare

Most cited references 10

A Computing Procedure for Quantification Theory

Modal Logic

SATO: An efficient propositional prover

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,063