𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A sound and complete fuzzy temporal constraint logic

✍ Scribed by Cardenas-Viedma, M.A.

Book ID
117938467
Publisher
IEEE
Year
2006
Tongue
English
Weight
490 KB
Volume
36
Category
Article
ISSN
1083-4419

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Petri net model with fuzzy timing and fu
Petri net model with fuzzy timing and fuzzy-metric temporal logic
✍ Yi Zhou; Tadao Murata πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 321 KB πŸ‘ 2 views

This paper is concerned with a Petri net model having fuzzy timing and fuzzy real-time temporal logic. In an earlier paper, we introduced a Petri net model with four fuzzy set theoretic functions of time but no algorithms were given for computing the two important operators called, earliest and late

Coalgebraic modal logic: soundness, comp
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
✍ Dirk Pattinson πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 275 KB

This paper studies ΓΏnitary modal logics, interpreted over coalgebras for an endofunctor, and establishes soundness, completeness and decidability results. The logics are studied within the abstract framework of coalgebraic modal logic, which can be instantiated with arbitrary endofunctors on the cat