Login / Signup
Shantanu Kulkarni
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Mazurkiewicz Traces
Reasoning About Actions
Multi Lingual
Propositional Dynamic Logic
Top Venues
LICS
CoRR
</>
Publications
</>
Bharat Adsul
,
Paul Gastin
,
Shantanu Kulkarni
,
Pascal Weil
An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications.
LICS
(2024)
Bharat Adsul
,
Paul Gastin
,
Shantanu Kulkarni
,
Pascal Weil
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages.
CoRR
(2024)