Search Results for author: Anantha Padmanabha

Found 1 papers, 0 papers with code

Bundled fragments of first-order modal logic: (un)decidability

no code implementations28 Mar 2018 Anantha Padmanabha, R. Ramanujam, Yanjing Wang

Quantified modal logic provides a natural logical language for reasoning about modal attitudes even while retaining the richness of quantification for referring to predicates over domains.

Cannot find the paper you are looking for? You can Submit a new open access paper.