Open Access. Powered by Scholars. Published by Universities.®

Other Computer Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 3 of 3

Full-Text Articles in Other Computer Engineering

Medlink, Nicolas Ehalt May 2001

Medlink, Nicolas Ehalt

Honors Capstones

Capstone submitted as a graduation requirement for the BSU Honors Program.


The Other Information Warfare: A Mind Full Of Macedonia, Ibpp Editor Mar 2001

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 Jan 2001

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.