Login / Signup
Manisha Jain
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Prime Implicates
Imperative Programs
Modal Logic
Inference Rules
Top Venues
LSFA
TASE
ICFEM
</>
Publications
</>
Manisha Jain
,
Leandro Gomes
,
Alexandre Madeira
,
Luís Soares Barbosa
Towards a specification theory for fuzzy modal logic.
TASE
(2021)
Manisha Jain
,
Alexandre Madeira
,
Manuel A. Martins
A Fuzzy Modal Logic for Fuzzy Transition Systems.
LSFA
(2019)
Leandro Gomes
,
Alexandre Madeira
,
Manisha Jain
,
Luís Soares Barbosa
On the Generation of Equational Dynamic Logics for Weighted Imperative Programs.
ICFEM
(2019)