Apostolos Tzimoulis

According to our database, Apostolos Tzimoulis authored at least 27 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Algebraic Proof Theory for LE-logics.

Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis

ACM Trans. Comput. Log., January, 2024

Modal reduction principles across relational semantics.

Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis

Fuzzy Sets Syst., 2024

Outlier detection using flexible categorization and interrogative agendas.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

Decis. Support Syst., 2024

Flexible categorization using formal concept analysis and Dempster-Shafer theory.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

CoRR, 2024

2023

Outlier detection using flexible categorisation and interrogative agendas.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

CoRR, 2023

Causal Kripke Models.

Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

2022

Syntactic Completeness of Proper Display Calculi.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

ACM Trans. Comput. Log., 2022

Non-normal modal logics and conditional logics: Semantic analysis and proof theory.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Inf. Comput., 2022

Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

CoRR, 2022

Unified inverse correspondence for DLE-Logics.

Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis

CoRR, 2022

Graded modal logic with a single modality.

Mattia Panettiere, Apostolos Tzimoulis

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Rough concepts.

Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg

Inf. Sci., 2021

Modelling socio-political competition.

Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem Wijnberg

Fuzzy Sets Syst., 2021

Neighbourhood semantics for graded modal logic.

Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis

CoRR, 2021

2020

Toward a Dempster-Shafer theory of concepts.

Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg

Int. J. Approx. Reason., 2020

Vector Spaces as Kripke Frames.

Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis

FLAP, 2020

Lambek-Grishin Calculus: Focusing, Display and Full Polarization.

Giuseppe Greco, Valentin D. Richard, Michael Moortgat, Apostolos Tzimoulis

CoRR, 2020

2019

Probabilistic Epistemic Updates on Algebras.

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg

ACM Trans. Comput. Log., 2019

Non Normal Logics: Semantic Analysis and Proof Theory.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic, Language, Information, and Computation, 2019

Logics for Rough Concept Analysis.

Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

Algebraic and Proof-Theoretic Foundations of the Logics for Social Behaviour.

Apostolos Tzimoulis

PhD thesis, 2018

The Logic of Resources and Capabilities.

Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Rev. Symb. Log., 2018

Unified correspondence as a proof-theoretic tool.

Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao

J. Log. Comput., 2018

2017

Toward an Epistemic-Logical Theory of Categorization.

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

2016

Categories: How I Learned to Stop Worrying and Love Two Sorts.

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg

Proceedings of the Logic, Language, Information, and Computation, 2016

2015

Universal Models for the Positive Fragment of Intuitionistic Logic.

Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao

Proceedings of the Logic, Language, and Computation, 2015

Probabilistic Epistemic Updates on Algebras.

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015