Person:6096732
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!
| Publication | Date of Publication | Type |
|---|---|---|
| Non-wellfounded proof theory for interpretability logic | 2026-02-10 | Paper |
| A correspondence theorem for interpretability logic with respect to Verbrugge semantics Logic Journal of the IGPL | 2025-10-30 | Paper |
| Selection method for interpretability logic \textsf{IL} with respect to Verbrugge semantics Rad Hrvatske Akademije Znanosti i Umjetnosti. Matematičke Znanosti | 2025-02-26 | Paper |
| Bisimulations and bisimulation games between Verbrugge models Mathematical Logic Quarterly | 2023-09-15 | Paper |
Research outcomes over time
This page was built for person:
