Apostolos Tzimoulis

Available identifiers

zbMath Open tzimoulis.apostolosMaRDI QIDQ2035342

List of research outcomes

Publication	Date of Publication	Type
Lambek-Grishin calculus: focusing, display and full polarization	2024-10-01	Paper
Algebraic proof theory for LE-logics	2024-04-26	Paper
Causal Kripke Models	2024-02-28	Paper
Rough concepts	2023-10-25	Paper
Neighbourhood Semantics for Graded Modal Logic	2023-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q5884970	2023-03-24	Paper
Syntactic Completeness of Proper Display Calculi	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5869716	2022-09-28	Paper
Non-normal modal logics and conditional logics: semantic analysis and proof theory	2022-06-13	Paper
Unified inverse correspondence for DLE-Logics	2022-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q3384065	2021-12-14	Paper
Modelling socio-political competition	2021-06-24	Paper
First order logic properly displayed	2021-05-14	Paper
Lambek-Grishin Calculus: Focusing, Display and Full Polarization	2020-11-05	Paper
Toward a Dempster-Shafer theory of concepts	2020-10-22	Paper
Non-normal logics: semantic analysis and proof theory (extended version)	2020-09-29	Paper
Non normal logics: semantic analysis and proof theory	2020-03-04	Paper
Universal models for the positive fragment of intuitionistic logic	2020-01-15	Paper
Logics for rough concept analysis	2020-01-14	Paper
Probabilistic Epistemic Updates on Algebras	2019-11-22	Paper
The logic of vague categories	2019-08-13	Paper
Non normal logics: semantic analysis and proof theory	2019-03-12	Paper
Unified correspondence as a proof-theoretic tool	2019-01-31	Paper
Logics for Rough Concept Analysis	2018-11-17	Paper
Goldblatt-Thomason for LE-logics	2018-09-21	Paper
THE LOGIC OF RESOURCES AND CAPABILITIES	2018-08-07	Paper
Categories: How I Learned to Stop Worrying and Love Two Sorts	2016-09-09	Paper
Probabilistic Epistemic Updates on Algebras	2015-12-17	Paper
Game semantics for lattice-based modal {\mu}-calculus	N/A	Paper

Research outcomes over time

This page was built for person: Apostolos Tzimoulis