Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Chapman University (64)
- California Polytechnic State University, San Luis Obispo (5)
- University of Nebraska - Lincoln (3)
- California State University, San Bernardino (2)
- University of Louisville (2)
-
- University of New Orleans (2)
- University of South Alabama (2)
- Central Mining Institute (1)
- Clemson University (1)
- Embry-Riddle Aeronautical University (1)
- La Salle University (1)
- Louisiana State University (1)
- Purdue University (1)
- SelectedWorks (1)
- Southern Methodist University (1)
- The University of Akron (1)
- The University of Southern Mississippi (1)
- University of Arkansas, Fayetteville (1)
- University of Dayton (1)
- University of Massachusetts Amherst (1)
- University of New Hampshire (1)
- University of New Mexico (1)
- University of Tennessee, Knoxville (1)
- University of the Pacific (1)
- Western Kentucky University (1)
- Western University (1)
- World Maritime University (1)
- Keyword
-
- Coalgebra (13)
- Modal logic (6)
- Machine Learning (5)
- Machine learning (5)
- Coalgebraic logic (3)
-
- Coalgebras (3)
- Computer Science (3)
- Deep learning (3)
- Display calculus (3)
- Android (2)
- Autism spectrum disorder (2)
- Cloud computing (2)
- Computer vision (2)
- Cover modality (2)
- Data mining (2)
- Deep Learning (2)
- Descriptive general frames (2)
- Distributed computing (2)
- Duality (2)
- Dynamic epistemic logic (2)
- Energy efficiency (2)
- Kripke polynomial functors (2)
- Modal Logic (2)
- Modularity (2)
- Nominal sets (2)
- Positive modal logic (2)
- Relation lifting (2)
- Security (2)
- Stone duality (2)
- Stone spaces (2)
- Publication Year
- Publication
-
- Engineering Faculty Articles and Research (59)
- Computer Engineering (4)
- Mathematics, Physics, and Computer Science Faculty Articles and Research (3)
- Doctoral Dissertations (2)
- Electronic Theses and Dissertations (2)
-
- Electronic Theses, Projects, and Dissertations (2)
- Master's Theses (2)
- University of New Orleans Theses and Dissertations (2)
- All Dissertations (1)
- Annual ADFSL Conference on Digital Forensics, Security and Law (1)
- Art Faculty Articles and Research (1)
- Computer Science ETDs (1)
- Content presented at the MAICS conference (1)
- Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research (1)
- Electronic Thesis and Dissertation Repository (1)
- Graduate Theses and Dissertations (1)
- HON499 projects (1)
- Honors Theses (1)
- Jeremy Straub (1)
- Journal of Sustainable Mining (1)
- LSU Master's Theses (1)
- Law Faculty Scholarship (1)
- Library Philosophy and Practice (e-journal) (1)
- Mahurin Honors College Capstone Experience/Thesis Projects (1)
- Maritime Safety & Environment Management Dissertations (Dalian) (1)
- Physical Therapy Faculty Articles and Research (1)
- Poster Presentations (1)
- SMU Data Science Review (1)
- The Summer Undergraduate Research Fellowship (SURF) Symposium (1)
- UCARE Research Products (1)
Articles 91 - 100 of 100
Full-Text Articles in Other Computer Sciences
Preface, Thomas Hildebrandt, Alexander Kurz
Preface, Thomas Hildebrandt, Alexander Kurz
Engineering Faculty Articles and Research
No abstract provided.
Coalgebras And Modal Expansions Of Logics, Alexander Kurz, Alessandra Palmigiano
Coalgebras And Modal Expansions Of Logics, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
In this paper we construct a setting in which the question of when a logic supports a classical modal expansion can be made precise. Given a fully selfextensional logic S, we find sufficient conditions under which the Vietoris endofunctor V on S-referential algebras can be defined and we propose to define the modal expansions of S as the logic that arises from the V-coalgebras. As an example, we also show how the Vietoris endofunctor on referential algebras extends the Vietoris endofunctor on Stone spaces. From another point of view, we examine when a category of ‘spaces’ (X,A), ie sets X …
Algebraic Semantics For Coalgebraic Logics, Clemens Kupke, Alexander Kurz, Dirk Pattinson
Algebraic Semantics For Coalgebraic Logics, Clemens Kupke, Alexander Kurz, Dirk Pattinson
Engineering Faculty Articles and Research
With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T-coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness, completeness and expressiveness of coalgebraic logics from the perspective of duality theory. That is, given a logic L for coalgebras of an endofunctor T, we construct an endofunctor L such that L-algebras provide a sound and complete (algebraic) semantics of the logic. We show that if L is dual to T, then soundness and completeness of the algebraic semantics immediately yield the …
Stone Coalgebras, Clemens Kupke, Alexander Kurz, Yde Venema
Stone Coalgebras, Clemens Kupke, Alexander Kurz, Yde Venema
Engineering Faculty Articles and Research
In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor. We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. This yields a duality between the category of modal algebras and that of coalgebras over the Vietoris functor. Building on this idea, we introduce the notion of a Vietoris polynomial functor over the category of Stone spaces. …
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.
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 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.