dc.contributor.author | Anantha Padmanabha, MS | |
dc.date.accessioned | 2020-01-08T10:18:56Z | |
dc.date.available | 2020-01-08T10:18:56Z | |
dc.date.issued | 2019 | |
dc.date.submitted | 2019 | |
dc.identifier.uri | https://dspace.imsc.res.in/xmlui/handle/123456789/452 | |
dc.publisher.publisher | The Institute of Mathematical Sciences | |
dc.subject | HBNI Th164 | en_US |
dc.subject | Modal Logic | en_US |
dc.title | Propositional term modal logic[HBNI Th164] | en_US |
dc.type.degree | Ph.D | en_US |
dc.type.institution | HBNI | en_US |
dc.description.advisor | Ramanujam, R. | |
dc.description.pages | 157p. | en_US |
dc.type.mainsub | Computer Science | en_US |
dc.type.hbnibos | Mathematical Sciences |