Sabine Frittella
Sabine Frittella
E-mail confirmado em insa-cvl.fr
Título
Citado por
Citado por
Ano
Multi-type display calculus for dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
Journal of Logic and Computation 26 (6), 2017-2065, 2016
612016
Multi-type display calculus for propositional dynamic logic
S Frittella, G Greco, A Kurz, A Palmigiano
arXiv preprint arXiv:1805.09144, 2018
522018
Multi-type sequent calculi
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
arXiv preprint arXiv:1609.05343, 2016
522016
A proof-theoretic semantic analysis of dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimić
Journal of Logic and Computation 26 (6), 1961-2015, 2016
452016
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
International Workshop on Logic, Language, Information, and Computation, 215-233, 2016
382016
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
S Frittella, A Palmigiano, L Santocanale
Journal of Logic and Computation 27 (3), 639-678, 2017
332017
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
arXiv preprint arXiv:1707.08743, 2017
252017
Rough concepts
W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ...
Information Sciences 561, 371-413, 2021
102021
Probabilistic epistemic updates on algebras
W Conradie, S Frittella, A Palmigiano, A Tzimoulis, N Wijnberg
ACM Transactions on Computational Logic (TOCL) 20 (4), 1-75, 2019
102019
Structural multi-type sequent calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
arXiv preprint arXiv:1604.00936, 2016
102016
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
62020
Fixed-Point Theory in the Varieties
S Frittella, L Santocanale
International Conference on Relational and Algebraic Methods in Computer …, 2014
62014
Display-type sequent calculus for monotone modal logic
S Frittella, G Greco
Advances in Modal Logic, 2014
62014
A multi-type display calculus for game logic
S Frittella, G Greco, A Kurz, A Palmigiano
Manuscript in preparation, 0
6
Software tool support for modular reasoning in modal logics of actions
S Balco, S Frittella, G Greco, A Kurz, A Palmigiano
International Conference on Interactive Theorem Proving, 48-67, 2018
42018
Monotone Modal Logic and Friends
S Frittella
Aix-Marseille, 2014
32014
Belief based on inconsistent information
M Bılková, S Frittella, O Majer, S Nazari
Short Papers Advances in Modal Logic AiML 2020, 1, 2020
12020
Algebraic Semantics of Refinement Modal Logic
Z Bakhtiari, H van Ditmarsch, S Frittella
Advances in Modal Logic 11, 2016
12016
Constraint tableaux for two-dimensional fuzzy logics
M Bílková, S Frittella, D Kozhemiachenko
arXiv preprint arXiv:2105.07217, 2021
2021
Belief Based on Inconsistent Information
O Majer, M Bılková, S Frittella, S Nazari
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
2020
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20