Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Leonardo Pacheco

New job, new

I'm Leonardo Pacheco, and I work on mathematical . I just started a position at the Institute of Science Tokyo (old Tokyo Institute of Technology) under the supervision of Ryo Kashima.

Currently I'm researching non-classical modal logics. Two topics I'm particularly interested are the expressivity of fixed-point operators and non-classical versions of GL.

Dec 09, 2024, 01:10 AM·Public
12boosts·16favorites
SearchLive feeds
About