Follow
Sabine Frittella
Sabine Frittella
Verified email at insa-cvl.fr
Title
Cited by
Cited by
Year
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
662016
Multi-type sequent calculi
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
arXiv preprint arXiv:1609.05343, 2016
622016
Multi-type display calculus for propositional dynamic logic
S Frittella, G Greco, A Kurz, A Palmigiano
arXiv preprint arXiv:1805.09144, 2018
542018
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
492016
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
Logic, Language, Information, and Computation: 23rd International Workshop …, 2016
462016
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai, A Tzimoulis, ...
arXiv preprint arXiv:1707.08743, 2017
382017
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
352017
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
292020
Constraint tableaux for two-dimensional fuzzy logics
M Bílková, S Frittella, D Kozhemiachenko
International Conference on Automated Reasoning with Analytic Tableaux and …, 2021
262021
Rough concepts
W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ...
Information Sciences 561, 371-413, 2021
252021
Belief based on inconsistent information
M Bílková, S Frittella, O Majer, S Nazari
Dynamic Logic. New Trends and Applications: Third International Workshop …, 2020
252020
Reasoning with belief functions over Belnap–Dunn logic
M Bílková, S Frittella, D Kozhemiachenko, O Majer, S Nazari
Annals of Pure and Applied Logic, 103338, 2023
132023
Qualitative reasoning in a two-layered framework
M Bílková, S Frittella, D Kozhemiachenko, O Majer
International Journal of Approximate Reasoning 154, 84-108, 2023
132023
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
122019
Paraconsistent Gödel modal logic
M Bílková, S Frittella, D Kozhemiachenko
International Joint Conference on Automated Reasoning, 429-448, 2022
102022
Structural multi-type sequent calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang
arXiv preprint arXiv:1604.00936, 2016
102016
Fixed-Point Theory in the Varieties
S Frittella, L Santocanale
International Conference on Relational and Algebraic Methods in Computer …, 2014
82014
Display-type sequent calculus for monotone modal logic
S Frittella, G Greco
Advances in Modal Logic, 2014
72014
Crisp bi-Gödel modal logic and its paraconsistent expansion
M Bílková, S Frittella, D Kozhemiachenko
Logic Journal of the IGPL, jzad017, 2023
62023
A multi-type display calculus for game logic
S Frittella, G Greco, A Kurz, A Palmigiano
Manuscript in preparation, 0
6
The system can't perform the operation now. Try again later.
Articles 1–20