The Monodic Fragment of Propositional Term Modal Logic

We study term modal logics, where modalities can be indexed by variables that can be quantified over. We suggest that these logics are appropriate for reasoning about systems of unboundedly many reasoners and define a notion of bisimulation which preserves propositional fragment of term modal logics...

Full description

Bibliographic Details
Published in:Studia Logica : An International Journal for Symbolic Logic, Vol. 107, No. 3 (2019), p. 533-557
Main Author: Padmanabha, Anantha (Author)
Other Involved Persons: Ramanujam, R.
Format: electronic Article
Language:English
ISSN:1572-8730
Physical Description:Online-Ressource
DOI:10.1007/s11225-018-9784-x
Subjects:
QR Code: Show QR Code