P. Selene Linares-Arévalo

From MaRDI portal
Person:2133449

Available identifiers

zbMath Open linares-arevalo.pilar-seleneMaRDI QIDQ2133449

List of research outcomes





PublicationDate of PublicationType
A dual-context sequent calculus for the constructive modal logic S42023-04-19Paper
On interactive proof-search for constructive modal necessity2022-04-29Paper
Dual and axiomatic systems for constructive S4, a formally verified equivalence2021-01-19Paper
Interactive proof-search for equational reasoning2021-01-08Paper
Axiomatic and dual systems for constructive necessity, a formally verified equivalence2019-08-26Paper

Research outcomes over time

This page was built for person: P. Selene Linares-Arévalo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2133449&oldid=6609139"
Powered by MediaWiki