Universal coalgebras and their logics
Author
Source
The Arabian Journal for Science and Engineering. D, Mathematics
Issue
Vol. 34, Issue 1D (31 May. 2009), pp.105-130, 26 p.
Publisher
King Fahd University of Petroleum and Minerals
Publication Date
2009-05-31
Country of Publication
Saudi Arabia
No. of Pages
26
Main Subjects
Topics
Abstract AR
نستطلع الجبريات المصاحبة كنماذج للأنظمة المبنية على الحالة مع منطقها العالمي و المحلي.
نعرض بعض الحدس المفيد بخصوص الدالات على فئة المجموعات و التي تقود بصورة طبيعية إلى المنطق الشكلي الجبري المصاحب، حيث الشكليات هي أنماط الصلاحية للشيء التالي لحالة.
Abstract EN
We survey coalgebras as models of state based systems together with their global and local logics.
We convey some useful intuition regarding Set-functors which leads naturally to coalgebraic modal logic where modalities are validity patterns for the successor object of a state.
American Psychological Association (APA)
Gumm, H. Peter. 2009. Universal coalgebras and their logics. The Arabian Journal for Science and Engineering. D, Mathematics،Vol. 34, no. 1D, pp.105-130.
https://search.emarefa.net/detail/BIM-546078
Modern Language Association (MLA)
Gumm, H. Peter. Universal coalgebras and their logics. The Arabian Journal for Science and Engineering. D, Mathematics Vol. 34, no. 1D (May. 2009), pp.105-130.
https://search.emarefa.net/detail/BIM-546078
American Medical Association (AMA)
Gumm, H. Peter. Universal coalgebras and their logics. The Arabian Journal for Science and Engineering. D, Mathematics. 2009. Vol. 34, no. 1D, pp.105-130.
https://search.emarefa.net/detail/BIM-546078
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 128
Record ID
BIM-546078