Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Labelled Deduction

200033 citationsBook

Authors

David Basin · University of Freiburg

Marcello D’Agostino · University of Ferrara

Dov M. Gabbay · King's College London

Seán Matthews · Association for Supply Chain Management, Procurement and Logistics

Luca Viganò · University of Freiburg

Topics & Keywords

Logic, Reasoning, and Knowledge Advanced Algebra and Logic

Publication Details

Published in: Applied logic series

DOI: 10.1007/978-94-011-4040-9

Field-Weighted Citation Impact: 1.81

Labelled Deduction | Researchclopedia