Concepedia

Sabine Frittella

SF

7

Publications

212

Citations

7

H-Index

2014

Active since

Affiliations

University of Leicester(Current)

Centre Val de Loire

University of Johannesburg

University of Amsterdam

Institut National des Sciences Appliquées Centre Val de Loire

Sabine Frittella is an author at University of Leicester specializing in automated reasoning, computer science, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsFormal VerificationLanguageManagementLinguisticsEpistemology

Publications per year

2014–2020

7

Publications

7

Multi-type display calculus for dynamic epistemic logic

Sabine Frittella, Giuseppe Greco, Alexander Kurz et al. · Journal of Logic and Computation · 2014 · 44 citations · Full text

Formal Logic, Engineering, Dynamic Epistemic Logic +12

Multi-type display calculus for propositional dynamic logic

Sabine Frittella, Giuseppe Greco, Alexander Kurz et al. · Journal of Logic and Computation · 2014 · 39 citations · Full text

Subformula Property, Engineering, Automated Reasoning +11

A proof-theoretic semantic analysis of dynamic epistemic logic

Sabine Frittella, Giuseppe Greco, Alexander Kurz et al. · Journal of Logic and Computation · 2014 · 32 citations · Full text

Toward an Epistemic-Logical Theory of Categorization

Willem Conradie, Sabine Frittella, Alessandra Palmigiano et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 30 citations · Full text

Business Intelligence, Epistemic Logic, Semantics +20

Rough concepts

Willem Conradie, Sabine Frittella, Krishna Manoorkar et al. · Information Sciences · 2020 · 26 citations · Full text

Rows per page

1–5 of 7