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...
|Published in:||Studia Logica : An International Journal for Symbolic Logic, Vol. 107, No. 3 (2019), p. 533-557|
|Other Involved Persons:|
|QR Code:||Show QR Code|