Modal logics are coalgebraic /

QR-Code

Modal logics are coalgebraic /

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Cirstea, Corina., Kurz, Alexander., Pattinson, Dirk., Schroder, Lutz., Venema, Yde.
Format:	Artikel
Sprache:	English
Schlagworte:	Automata theory Coalgebra Compositionality Concurrency Knowledge representation Modal logic
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Ähnliche Einträge

Many-Dimensional Modal Logics :
Veröffentlicht: (2003)

Modal logic
von: Blackburn, Patrick
Veröffentlicht: (2001)

The logic of adaptive behavior Knowledge Representation and Algorithms for Adaptive Sequential Decision Making under Uncertainty in First-Order and Relational Domains
von: Otterlo, Martijn Van
Veröffentlicht: (2013)

Mathematics, Models, and Modality: Selected Philosophical Essays
von: Burgess, John P
Veröffentlicht: (2013)

A logical approach to home healthcare with intelligent sensor-network support /

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
von: John, E . Hopcroft, et al.
Veröffentlicht: (2023)

Algebra and Coalgebra in Computer Science
von: Mossakowski, Till, et al.
Veröffentlicht: (2020)

Algebra and Coalgebra in Computer Science
von: Fiadeiro, José Luis, et al.
Veröffentlicht: (2020)

Approaching modality from the perspective of Relevance Theory /
von: Traugott, Elizabeth Closs.

Possibilities and paradox :
von: J.C. Beall
Veröffentlicht: (2003)

Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
Veröffentlicht: (2002)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
von: Salomaa, Arto
Veröffentlicht: (1992)

Concepts, ontologies, and knowledge representation
von: Jakus, Grega

A study of modality expressed in terms Of grammaticalization and lxicalization in english and vietnamese
von: Nguyễn Thị Hoài Nam
Veröffentlicht: (2025)

Coalgebraic Methods in Computer Science
von: Cîrstea, Corina
Veröffentlicht: (2020)

Ontologies in medicine
von: Pisanelli, Domenico M
Veröffentlicht: (2013)

A study of modal adjuncts in the mental process in English and Vietnamese newspapers
von: Nguyen, Phuoc Hao.
Veröffentlicht: (2011)

AN INVESTIGATION INTO MODALITY EXPRESSIONS IN ENGLISH FILM SUBTITLES AND THEIR CORRESPONDING EXPRESSIONS IN THE VIETNAMESE
von: Lê Vương Song Hà
Veröffentlicht: (2024)

Fuzzy Automata and Languages: Theory and Applications
von: Mordeson, John, et al.
Veröffentlicht: (2012)

Natural language processing and knowledge representation : language for knowledge and knowledge for language /
Veröffentlicht: (2000)

An Investigation into Modals English Business Letter /
von: Huỳnh Thị Hồng Hạnh
Veröffentlicht: (2012)

A contrastive study on modal markers of weak possibility in English and Vietnamese
von: Nguyễn Thị Tuyết
Veröffentlicht: (2011)

cMDTPS: Comprehensive Masked Modality Modeling with Improved Similarity Distribution Matching Loss for Text-based Person Search
von: Nguyen, Anh D, et al.
Veröffentlicht: (2024)

A Lightweight Multi-Modality Learning Model for Detecting Drivers’ Drowsiness on Vehicle CAN-bus
von: Tran, The Son, et al.
Veröffentlicht: (2026)

A formal model of ontology for handling fuzzy membership and typicality of instances /
von: Yeung, Ching-man Au.

A Study of Modal Particles in English Films with Vietnamese Subtitles /
von: Trần Thị Cúc Kiều
Veröffentlicht: (2009)

Problem solving in automata, languages, and complexity
von: Ding-zhu Du
Veröffentlicht: (2001)

An Introduction to Formal Languages and Automata (Photo) /
von: Linz Peter
Veröffentlicht: (1990)

A Corpus-Based Study On Gender- Related Differences In Deontic Modality Markers Used In Commencement Remarks By American Speakers
von: Đỗ Thị Duy An
Veröffentlicht: (2024)

A Study of Modality Expressed in Terms of Grammaticalization and Lxicalization in English and VN /
von: Nguyễn Thị Hoài Nam
Veröffentlicht: (2011)

Modal testing and model updating of a real scale nuclear fuel rod /

A Contrastive Study of the Modal Devices Expressing Possibility in Modern English and Vietnamese /
von: Đinh Gia Hưng
Veröffentlicht: (2001)

A Corpus-Based Study on Modality Markets Expressing Politeness Strategies in American Political Speeches
von: Võ Thị Thanh Tâm
Veröffentlicht: (2024)

Events, causality and symmetry /
von: Winskel, Glynn.

Artificial intelligence :
von: Luger, George F.
Veröffentlicht: (2001)

The Investigation into Expreeing Possibility Meanings Through English Modals: Can, could, may, might /
von: Lê Thị Thà
Veröffentlicht: (2004)

Cellular Automata and Discrete Complex Systems
von: Kari, Jarkko
Veröffentlicht: (2015)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
von: Isokawa, T, et al.
Veröffentlicht: (2015)

Automata and Computability
von: Kozen, Dexter C
Veröffentlicht: (1997)

Fifty Years of Fuzzy Logic and its Applications
von: Tamir, Dan E, et al.
Veröffentlicht: (2015)