Follow
Apostolos Tzimoulis
Apostolos Tzimoulis
University of Luxembourg
Verified email at tzimoulis.eu
Title
Cited by
Cited by
Year
Unified correspondence as a proof-theoretic tool
G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao
Journal of Logic and Computation 28 (7), 1367-1442, 2018
1152018
Categories: how I learned to stop worrying and love two sorts
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
682016
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
arXiv preprint arXiv:1707.08743, 2017
482017
The logic of resources and capabilities
M Bílková, G Greco, A Palmigiano, A Tzimoulis, N Wijnberg
The Review of Symbolic Logic 11 (2), 371-410, 2018
442018
Rough concepts
W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ...
Information Sciences 561, 371-413, 2021
362021
Toward a Dempster-Shafer theory of concepts
S Frittella, K Manoorkar, A Palmigiano, A Tzimoulis, N Wijnberg
International Journal of Approximate Reasoning 125, 14-25, 2020
322020
Logics for rough concept analysis
G Greco, P Jipsen, K Manoorkar, A Palmigiano, A Tzimoulis
Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India …, 2019
252019
Algebraic proof theory for LE-logics
G Greco, P Jipsen, F Liang, A Palmigiano, A Tzimoulis
ACM Transactions on Computational Logic 25 (1), 1-37, 2024
212024
Syntactic completeness of proper display calculi
J Chen, G Greco, A Palmigiano, A Tzimoulis
ACM Transactions on Computational Logic 23 (4), 1-46, 2022
182022
Goldblatt-Thomason for LE-logics
W Conradie, A Palmigiano, A Tzimoulis
arXiv preprint arXiv:1809.08225, 2018
172018
Algebraic and Proof-Theoretic Foundations of the Logics for Social Behaviour.
A Tzimoulis
Delft University of Technology, Netherlands, 2018
162018
Non normal logics: semantic analysis and proof theory
J Chen, G Greco, A Palmigiano, A Tzimoulis
Logic, Language, Information, and Computation: 26th International Workshop …, 2019
152019
Modal reduction principles across relational semantics
W Conradie, A De Domenico, K Manoorkar, A Palmigiano, M Panettiere, ...
Fuzzy Sets and Systems 481, 108892, 2024
142024
Modelling socio-political competition
W Conradie, A Palmigiano, C Robinson, A Tzimoulis, N Wijnberg
Fuzzy Sets and Systems 407, 115-141, 2021
142021
The logic of vague categories
W Conradie, A Palmigiano, C Robinson, A Tzimoulis, NM Wijnberg
arXiv preprint arXiv:1908.04816, 2019
112019
Non-normal modal logics and conditional logics: Semantic analysis and proof theory
J Chen, G Greco, A Palmigiano, A Tzimoulis
Information and Computation 287, 104756, 2022
92022
Universal models for the positive fragment of intuitionistic logic
N Bezhanishvili, D de Jongh, A Tzimoulis, Z Zhao
International Tbilisi Symposium on Logic, Language, and Computation, 229-250, 2015
82015
Lambek–Grishin Calculus: Focusing, Display and Full Polarization
G Greco, M Moortgat, VD Richard, A Tzimoulis
Samson Abramsky on Logic and Structure in Computer Science and Beyond, 877-915, 2023
62023
The universal model for the negation-free fragment of IPC
A Tzimoulis, Z Zhao
62013
Outlier detection using flexible categorization and interrogative agendas
M Boersma, K Manoorkar, A Palmigiano, M Panettiere, A Tzimoulis, ...
Decision Support Systems 180, 114196, 2024
42024
The system can't perform the operation now. Try again later.
Articles 1–20