Michal Gil Sanchez

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Propositional Dynamic Logic

Rendezvous Search

Automated Reasoning

Top Venues

J. Philos. Log.

Publications

Michal Gil Sanchez, Zalán Gyenis, Leszek Wronski
Probability and Symmetric Logic. J. Philos. Log. 52 (1) (2023)