Walter A. CarnielliBooksModel-based reasoning in science and technologyModalities and multimodalitiesMulti-valued Logics (Journal of Applied Non-classical Logics)ComputabilityAnalysis and synthesis of logicsModalità e multimodalitàAuthor data: Open Library