Valentin Cassano

MaRDI QIDQ2055756zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Journal Of Logic And Computation	2024-02-08	Paper
Non-monotonic reasoning via dynamic consequence Logic, Language, Information, and Computation	2023-06-02	Paper
Deontic action logics via algebra	2023-02-21	Paper
scientific article; zbMATH DE number 7450023 (Why is no real title available?)	2021-12-20	Paper
scientific article; zbMATH DE number 7450023 (Why is no real title available?) (available as arXiv preprint)	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 EPiC Series in Computing	2019-07-04	Paper
A propositional tableaux based proof calculus for reasoning with default rules Lecture Notes in Computer Science	2015-12-11	Paper

Research outcomes over time

This page was built for person: Valentin Cassano