Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (73)
- Computer Sciences (71)
- Other Computer Sciences (66)
- Logic and Foundations (46)
- Mathematics (46)
-
- Algebra (45)
- Other Mathematics (45)
- Electrical and Computer Engineering (35)
- Other Electrical and Computer Engineering (33)
- Medicine and Health Sciences (17)
- Social and Behavioral Sciences (10)
- Psychology (7)
- Child Psychology (6)
- Hardware Systems (6)
- Arts and Humanities (5)
- Graphics and Human Computer Interfaces (5)
- Health Information Technology (5)
- Mental and Social Health (5)
- Other Mental and Social Health (5)
- Other Psychiatry and Psychology (5)
- Psychiatry and Psychology (5)
- Computer and Systems Architecture (4)
- Medical Specialties (4)
- Music (4)
- Other Rehabilitation and Therapy (4)
- Rehabilitation and Therapy (4)
- Software Engineering (4)
- Keyword
-
- Coalgebra (13)
- Modal logic (6)
- Deep learning (5)
- ADHD (4)
- Remaining useful life prediction (4)
-
- Coalgebraic logic (3)
- Coalgebras (3)
- Display calculus (3)
- Machine learning (3)
- Multiple change-point model (3)
- Virtual reality (3)
- Accessibility (2)
- Assistive technology (2)
- Autism (2)
- Autism Spectrum Disorder (2)
- Autism spectrum disorder (2)
- Behavior (2)
- Children (2)
- Computer vision (2)
- Cover modality (2)
- Degradation modeling (2)
- Descriptive general frames (2)
- Duality (2)
- Dynamic epistemic logic (2)
- Feedback control (2)
- Haptic interfaces (2)
- Inclusion (2)
- Kripke polynomial functors (2)
- Machine Learning (2)
- Modal Logic (2)
- Publication Year
- Publication
- Publication Type
Articles 91 - 96 of 96
Full-Text Articles in Other Computer Engineering
Preface, Alexander Kurz
Preface, Alexander Kurz
Engineering Faculty Articles and Research
No abstract provided.
Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson
Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson
Engineering Faculty Articles and Research
This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logic, show that the final object in Behω(T) generalises the notion of a canonical model in modal logic, and study the topology induced on a coalgebra by the finitary part of the terminal sequence.
Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický
Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický
Engineering Faculty Articles and Research
We show how coalgebras can be presented by operations and equations. This is a special case of Linton’s approach to algebras over a general base category X, namely where X is taken as the dual of sets. Since the resulting equations generalise coalgebraic coequations to situations without cofree coalgebras, we call them coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.
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.
Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson
Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson
Engineering Faculty Articles and Research
We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz
Engineering Faculty Articles and Research
We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.