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


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, Order at, Order at


Automated reasoning / decidability / proof theory

Reasoning about images and graphs

Abductive and inductive reasoning

Ontology extraction, ontology processing

Forgetting, uniform interpolation, second-order quantifier elimination


Automated automated reasoning

Model building / minimal model reasoning


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


System descriptions

Special journal issues



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

Last modified: 23 Jul 22
Copyright © 1996-2020 Renate A. Schmidt, School of Computer Science, Univ. Man.,