Leśniewski’s Systems: Ontology and Mereology (Nijhoff International Philosophy Series, 13)
Essays on Explanation and Understanding Studies in the Foundations of Humanities and Social Sciences
Inferring from Language (Springer Series in Language and Communication)
Statistische Erklärungen. Deduktiv-nomologische Erklärungen in präzisen Modellsprachen. Offene Probleme
Boolean Calculus of Differences
The Concurrency Control Problem for Database Systems
Morality, Decision and Social Organization Toward a Logic of Ethics
First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
Topics in Conditional Logic
Defeasible Deontic Logic
