Abstract: This paper is focused on translating the modalities of fundamental temporal logical systems into the language of Transparent Intensional Logic, which represents a very expressive methodology ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback