LaGuardia Insider Newsletter, Spring 1998

- Spring 1998: LaGuardia Community College/CUNY - Editorial Advisory Board for Insider Newsletter: Editor-in-Chief, Randy Fader-Smith: Institutional Advancement, Designer, Dale Cohen, Institutional Advancement, Susan Blandi: Adult and Continuing Education

LaGuardia Insider Newsletter, Fall 1998

- Fall 1998: LaGuardia Community College/CUNY - Editor-in-Chief, Randy Fader-Smith: Institutional Advancement, Designer, Dale Cohen, Institutional Advancement. Editorial Advisory Board: Susan Blandi: Adult and Continuing Education, Bill Kelly: Student Aff

LaGuardia Insider Newsletter, Spring 1999

- Spring 1999: LaGuardia Community College/CUNY - Editor-in-Chief, Randy Fader-Smith: Institutional Advancement, Designer, Dale Cohen, Institutional Advancement. Editorial Advisory Board: Susan Blandi: Adult and Continuing Education, Bill Kelly: Student A

LaGuardia Insider Newsletter, Winter 2000

- Winter 2000: LaGuardia Community College/CUNY - Editor-in-Chief, Randy Fader-Smith: Institutional Advancement, Designer, Dale Cohen, Institutional Advancement. Editorial Advisory Board: Susan Blandi: Adult and Continuing Education, Bill Kelly: Student A

The LaGuardia - Red Hook Caregiver

This newsletter marks the beginning of a long awaited formal affiliation between the Red Hook Family Day Care Training Center and LaGuardia Community College. First issue. No date, library receipt, 18 May 1978.

The LaGuardia - Red Hook Caregiver

Vol. I, No. 5; This document was produced as a result of a training and development project for staff in the social services system through a contractual agreement between the New York State Department of Social Services and the Research Foundation of the City University of New York on behalf of La Guardia Community College. No date, library receipt, 30 January 1979.

The LaGuardia - Red Hook Caregiver

Vol. II, No. 3; This document was produced as a result of a training and development project for staff in the social services system through a contractual agreement between the New York State Department of Social Services and the Research Foundation of the City University of New York on behalf of La Guardia Community College. No date, library receipt, 13 September 1979.

A syntactic realization theorem for justification logics

Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms \$mathsfd\$, \$mathsft\$, \$mathsfb\$, \$mathsf4\$, and \$mathsf5\$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for \$mathsfKB5\$ and \$mathsfS5\$ by showing that the positive introspection operator is superfluous.

A Hennessy-Milner Property for Many-Valued Modal Logics

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.