Anantha Padmanabha

Identifiers

No identifiers captured yet.

Papers (3)

1. Two variable fragment of Term Modal Logic cs.LO · 2019 · author #1
2. Propositional modal logic with implicit modal quantification cs.LO · 2018 · author #1
3. Bundled fragments of first-order modal logic: (un)decidability cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• R. Ramanujam 2 shared papers
• R Ramanujam 1 shared papers
• Yanjing Wang 1 shared papers