Open Access. Powered by Scholars. Published by Universities.®
- Keyword
- Publication
- Publication Type
Articles 1 - 3 of 3
Full-Text Articles in Entire DC Network
Identification Of Shapes Using A Nonlinear Dynamic System, Shaheen Hoque, Sanza Kazadi, Angel Li, Will Chen, Elvio Sadun
Identification Of Shapes Using A Nonlinear Dynamic System, Shaheen Hoque, Sanza Kazadi, Angel Li, Will Chen, Elvio Sadun
Sanza Kazadi
The Other Information Warfare: A Mind Full Of Macedonia, Ibpp Editor
The Other Information Warfare: A Mind Full Of Macedonia, Ibpp Editor
International Bulletin of Political Psychology
This article highlights ongoing aspects of psychological warfare in Macedonia between government and rebel forces.
Modal Rules Are Co-Implications, Alexander Kurz
Modal Rules Are Co-Implications, Alexander Kurz
Engineering Faculty Articles and Research
In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.