𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Rewrite rule systems for modal propositional logic

✍ Scribed by Annie Foret

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
885 KB
Volume
12
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Modal Logic for Rewriting Theories
Modal Logic for Rewriting Theories
✍ Dirk Pattinson πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 203 KB

We view models of rewrite theories enriched with observations coalgebraically. This allows us on the one hand to use "off the shelf" logics for coalgebras to specify and, on the other hand, to verify properties of rewriting programs and to obtain results about the expressive power of such languages.

Real-Time Systems || Design and Analysis
Real-Time Systems || Design and Analysis of Propositional-Logic Rule-Based Systems
✍ Cheng, Albert M. K. πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley & Sons, Inc. βš– 837 KB

Real-time decision systems are computer-controlled systems that must react to events in the external environment by making decisions based on sensor inputs and state information sufficiently fast to meet environment-imposed timing constraints. They are used in applications that would require human e

A general theory of confluent rewriting
A general theory of confluent rewriting systems for logic programming and its applications
✍ JΓΌrgen Dix; Mauricio Osorio; Claudia Zepeda πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 236 KB

Recently, Brass and Dix showed (J. Automat. Reason. 20(1) (1998) 143-165) that the well founded semantics WFS can be deΓΏned as a con uent calculus of transformation rules. This led not only to a simple extension to disjunctive programs (J. Logic Programming 38(3) (1999) 167-213), but also to a new c