Valentin Cassano

Available identifiers

zbMath Open cassano.valentinMaRDI QIDQ2055756

List of research outcomes

Publication	Date of Publication	Type
How easy it is to know how: an upper bound for the satisfiability problem	2024-05-29	Paper
Data graphs with incomplete information (and a way to complete them)	2024-05-29	Paper
\textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics	2024-05-17	Paper
Algebraic tools for default modal systems	2024-02-08	Paper
Non-monotonic reasoning via dynamic consequence	2023-06-02	Paper
Deontic action logics via algebra	2023-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5018505	2021-12-20	Paper
Default modal systems as algebraic updates	2021-12-01	Paper
A tableaux calculus for default intuitionistic logic	2020-03-10	Paper
Interpolation and Beth definability in default logics	2020-02-18	Paper
Reasoning About Prescription and Description Using Prioritized Default Rules	2019-07-04	Paper
A propositional tableaux based proof calculus for reasoning with default rules	2015-12-11	Paper

Research outcomes over time

This page was built for person: Valentin Cassano