Ian Shillito

MaRDI QIDQ2142083zbMATH 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
Mechanised uniform interpolation for modal logics K, GL, and iSL (available as arXiv preprint)	N/A	Paper
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents (available as arXiv preprint)	N/A	Paper
Completeness of first-order bi-intuitionistic logic	2026-06-09	Paper
Taking bi-intuitionistic logic first-order: a proof-theoretic investigation via polytree sequents	2026-06-09	Paper
Intuitionistic \textsf{S4} as a logic of topological spaces Journal of Logic and Computation	2025-10-29	Paper
Mechanised uniform interpolation for modal logics K, GL, and iSL	2025-01-31	Paper
A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalised	2023-09-01	Paper
scientific article; zbMATH DE number 7668109 (Why is no real title available?)	2023-03-24	Paper
Bi-intuitionistic logics: a new instance of an old problem	2022-09-15	Paper
Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq	2022-05-25	Paper
A multi-labelled sequent calculus for topo-logic Journal Of Logic And Computation	2020-06-04	Paper

Research outcomes over time

This page was built for person: Ian Shillito