Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Apostolos Tzimoulis"'
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 3, Pp 373-395 (2021)
We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition
Externí odkaz:
https://doaj.org/article/6fed27baf3364b1793a2e25465aa1ec7
Autor:
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem M. Wijnberg
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 167-186 (2017)
Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of
Externí odkaz:
https://doaj.org/article/9232628f422d41b4a0ef74753a04ccae
Publikováno v:
Chen, J, Greco, G, Palmigiano, A & Tzimoulis, A 2022, ' Syntactic Completeness of Proper Display Calculi ', ACM Transactions on Computational Logic, vol. 23, no. 4, 23, pp. 1-46 . https://doi.org/10.1145/3529255
ACM Transactions on Computational Logic, 23(4):23, 1-46. Association for Computing Machinery (ACM)
ACM Transactions on Computational Logic, 23(4):23, 1-46. Association for Computing Machinery (ACM)
A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cut elimination), and at identifying classes of logics that can be captu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d57b97d80352222231082f12dde592ab
https://hdl.handle.net/1871.1/57985e91-f001-4c63-93bd-a9a08fbaa2a1
https://hdl.handle.net/1871.1/57985e91-f001-4c63-93bd-a9a08fbaa2a1
Publikováno v:
Bulletin of the Section of Logic, Vol 50, Iss 3, Pp 373-395 (2021)
Chen, J, van Ditmarsch, H, Greco, G & Tzimoulis, A 2021, ' Neighbourhood semantics for graded modal logic ', Bulletin of the Section of Logic, vol. 50, no. 3, pp. 373-395 . https://doi.org/10.18778/0138-0680.2021.12
Bulletin of the Section of Logic, 50(3), 373-395. Department of Logic, University of Lodz
Chen, J, van Ditmarsch, H, Greco, G & Tzimoulis, A 2021, ' Neighbourhood semantics for graded modal logic ', Bulletin of the Section of Logic, vol. 50, no. 3, pp. 373-395 . https://doi.org/10.18778/0138-0680.2021.12
Bulletin of the Section of Logic, 50(3), 373-395. Department of Logic, University of Lodz
We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e40e92b29613306e8aa21b87d1487e26
https://czasopisma.uni.lodz.pl/bulletin/article/view/8007
https://czasopisma.uni.lodz.pl/bulletin/article/view/8007
Autor:
Sabine Frittella, Nachoem M. Wijnberg, Sajad Nazari, Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
Publikováno v:
Information Sciences
Information Sciences, Elsevier, 2020, ⟨10.1016/j.ins.2020.05.074⟩
Information Sciences, 561, 371-413. Elsevier Inc.
Information Sciences, 561, 371-413. Elsevier
Conradie, W, Frittella, S, Manoorkar, K, Nazari, S, Palmigiano, A, Tzimoulis, A & Wijnberg, N M 2021, ' Rough concepts ', Information Sciences, vol. 561, pp. 371-413 . https://doi.org/10.1016/j.ins.2020.05.074
Information Sciences, Elsevier, 2020, ⟨10.1016/j.ins.2020.05.074⟩
Information Sciences, 561, 371-413. Elsevier Inc.
Information Sciences, 561, 371-413. Elsevier
Conradie, W, Frittella, S, Manoorkar, K, Nazari, S, Palmigiano, A, Tzimoulis, A & Wijnberg, N M 2021, ' Rough concepts ', Information Sciences, vol. 561, pp. 371-413 . https://doi.org/10.1016/j.ins.2020.05.074
The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original approximation s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4af74e65afe52fcaad31eb47e2f75012
https://research.vu.nl/en/publications/4b310953-7bc5-4c04-aac0-a813f601d8dd
https://research.vu.nl/en/publications/4b310953-7bc5-4c04-aac0-a813f601d8dd
Autor:
Claudette Robinson, Willem Conradie, Nachoem M. Wijnberg, Alessandra Palmigiano, Apostolos Tzimoulis
Publikováno v:
Conradie, W, Palmigiano, A, Robinson, C, Tzimoulis, A & Wijnberg, N 2021, ' Modelling socio-political competition ', Fuzzy Sets and Systems, vol. 407, pp. 115-141 . https://doi.org/10.1016/j.fss.2020.02.005
Fuzzy Sets and Systems, 407, 115-141. Elsevier
Fuzzy Sets and Systems, 407, 115-141. Elsevier
This paper continues the investigation of the logic of competing theories, be they scientific, social, political etc. We introduce a many-valued, multi-type modal language which we endow with relational semantics based on enriched reflexive graphs, i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc1246ce472ddd9f04bd41bd7e9a08af
https://hdl.handle.net/11245.1/36500f79-7e71-462b-a8de-16151b0d6396
https://hdl.handle.net/11245.1/36500f79-7e71-462b-a8de-16151b0d6396
Publikováno v:
Information and Computation, 287:104756, 1-27. Elsevier Inc.
Chen, J, Greco, G, Palmigiano, A & Tzimoulis, A 2022, ' Non-normal modal logics and conditional logics : Semantic analysis and proof theory ', Information and Computation, vol. 287, 104756, pp. 1-27 . https://doi.org/10.1016/j.ic.2021.104756
Chen, J, Greco, G, Palmigiano, A & Tzimoulis, A 2022, ' Non-normal modal logics and conditional logics : Semantic analysis and proof theory ', Information and Computation, vol. 287, 104756, pp. 1-27 . https://doi.org/10.1016/j.ic.2021.104756
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ff0bd7a5d05e12dfbaba2b028b8e15e
https://doi.org/10.1016/j.ic.2021.104756
https://doi.org/10.1016/j.ic.2021.104756
Publikováno v:
Journal of applied logistics, 7(5), 853-873. College Publications, on behalf of the UK logic charity IfCoLog
Vrije Universiteit Amsterdam
Greco, G, Liang, F, Moortgat, M, Palmigiano, A & Tzimoulis, A 2020, ' Vector spaces as kripke frames ', Journal of applied logistics, vol. 7, no. 5, pp. 853-873 . < https://arxiv.org/abs/1908.05528 >
Vrije Universiteit Amsterdam
Greco, G, Liang, F, Moortgat, M, Palmigiano, A & Tzimoulis, A 2020, ' Vector spaces as kripke frames ', Journal of applied logistics, vol. 7, no. 5, pp. 853-873 . < https://arxiv.org/abs/1908.05528 >
In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \emph{lexical} aspects of meaning into Lambek's type-logical grammar program. This approach is based on the observati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65c290adff18a545e2149fce21560bb8
https://research.vu.nl/en/publications/9bfb6887-dd1e-4736-b487-99efe7d8134f
https://research.vu.nl/en/publications/9bfb6887-dd1e-4736-b487-99efe7d8134f
Autor:
Nachoem M. Wijnberg, Sabine Frittella, Apostolos Tzimoulis, Alessandra Palmigiano, Willem Conradie, Michele Piazzai
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, EPTCS, 251
Electronic Proceedings in Theoretical Computer Science, 251, 167-186. Open Publishing Association
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 167-186 (2017)
Conradie, W, Frittella, S, Palmigiano, A, Piazzai, M, Tzimoulis, A & Wijnberg, N M 2017, ' Toward an epistemic-logical theory of categorization ', Paper presented at 16th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, United Kingdom, 24/07/17-26/07/17 pp. 167-186 . https://doi.org/10.4204/EPTCS.251.12
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2017, 251, pp.167-186. ⟨10.4204/EPTCS.251.12⟩
TARK
STARTPAGE=167;ENDPAGE=186;TITLE=16th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017
Electronic Proceedings in Theoretical Computer Science, 251, 167-186. Open Publishing Association
Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 167-186 (2017)
Conradie, W, Frittella, S, Palmigiano, A, Piazzai, M, Tzimoulis, A & Wijnberg, N M 2017, ' Toward an epistemic-logical theory of categorization ', Paper presented at 16th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, United Kingdom, 24/07/17-26/07/17 pp. 167-186 . https://doi.org/10.4204/EPTCS.251.12
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2017, 251, pp.167-186. ⟨10.4204/EPTCS.251.12⟩
TARK
STARTPAGE=167;ENDPAGE=186;TITLE=16th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017
Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes. In the present paper, we introduce a sound and complete epistemic logic of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc64851d0fe34e2adb6e3125bc023c3a
http://www.scopus.com/inward/record.url?scp=85030155420&partnerID=8YFLogxK
http://www.scopus.com/inward/record.url?scp=85030155420&partnerID=8YFLogxK