Xiaoxuan Fu

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Modal logic with ``Most''
Studia Logica
2026-04-30Paper
Modal equivalence, n-bisimulation and model comparison game for basic neighbourhood logic2026-01-08Paper
Axiomatization of modal logic with counting
Logic Journal of the IGPL
2025-10-30Paper
Numerical expressive power of logical languages with cardinality comparison
Journal of Logic and Computation
2025-10-29Paper
Game semantics for modal logic with counting2025-10-14Paper
Model theoretic aspects of modal logic with counting2025-04-03Paper
Dynamic modal logic with counting: when reduction axioms work and fail
Lecture Notes in Computer Science
2024-01-16Paper
A logic for preference lifting under uncertainty and its decidability
Lecture Notes in Computer Science
2024-01-16Paper


Research outcomes over time


This page was built for person: Xiaoxuan Fu