Publications


Ordered by theme (roughly) | Publications ordered by publication date | Current DBLP listing | Scholar Google | Academic Search


Books

Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications. Together with D. M. Gabbay and A. Szalas. Studies in Logic: Mathematical Logic and Foundations, Vol. 12, College Publications.
Back-cover, BiBTeX, Publisher's info.
Order at amazon.co.uk, Order at amazon.com, Order at amazon.de.

Surveys

Automated reasoning / decidability / proof theory

Second-order quantifier elimination, forgetting, uniform interpolation

Model building / minimal model reasoning

Benchmarking

First-order logic

Modal logic, dynamic modal logics

See also Description logic, knowledge representation, ontology reasoning and Temporal logic

Description logic, knowledge representation, ontology reasoning

See also Modal logic, dynamic modal logics

Intuitionistic logic and other non-classical logics

Temporal logic

Second-order logic

Algebraic logic

Agents

System descriptions

Special journal issues

Proceedings

Miscellaneous


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 21 Aug 17
Copyright © 1996-2017 Renate A. Schmidt, School of Computer Science, Univ. Man., schmidt@cs.man.ac.uk