Relational semantics for modal logics

TitleRelational semantics for modal logics
Publication TypeConference Paper
Year of Publication1995
AuthorsHeinle, W, Schlingloff, B-H
EditorRodosek, R
Conference NameProceedings of Verification in New Orientations
Pagination104-131
PublisherUniversity of Maribor
URLhttp://www.iam.unibe.ch/ltgpub/1995/hs95.ps