Fingerprint
Dive into the research topics where Ian Shillito is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 3 Conference contribution
-
Intuitionistic Justification Logic, Semantically
Marin, S., Padhiar, P. & Shillito, I., 24 Apr 2026, (Accepted/In press) Advances in Modal Logic. Open Publishing Association, Vol. 16. (Electronic Proceedings in Theoretical Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Completeness of First-Order Bi-Intuitionistic Logic
Kirst, D. & Shillito, I., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). Endrullis, J. & Schmitz, S. (eds.). Schloss Dagstuhl, 19 p. 40. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 326).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
Lyon, T. S., Shillito, I. & Tiu, A., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). Endrullis, J. & Schmitz, S. (eds.). Schloss Dagstuhl, 23 p. 41. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 326).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access