Vincent Risch

From MaRDI portal



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!

PublicationDate of PublicationType
scientific article; zbMATH DE number 7453127 (Why is no real title available?)2022-01-06Paper
scientific article; zbMATH DE number 7453127 (Why is no real title available?)
(available as arXiv preprint)
2022-01-06Paper
Conditional beliefs: from neighbourhood semantics to sequent calculus
The Review of Symbolic Logic
2018-11-29Paper
scientific article; zbMATH DE number 6863652 (Why is no real title available?)2018-04-23Paper
scientific article; zbMATH DE number 1844499 (Why is no real title available?)2002-12-12Paper
Preferential logics are \(X\)-logics
Journal of Logic and Computation
2002-03-11Paper
Analytic tableaux for default logics
Journal of Applied Non-Classical Logics
1996-05-27Paper
Tableau-based characterization and theorem proving for default logic
Journal of Automated Reasoning
1995-02-22Paper


Research outcomes over time


This page was built for person: Vincent Risch