阶层 发表于 2025-3-26 22:05:55

Reactivity and Grammars: An Exploration,In this chapter the author considers the relationship between grammars and formal languages, exploring more dynamic approaches to language generation called "reactive grammars", and examining a range of such reactivities.

Liberate 发表于 2025-3-27 05:07:30

Reactive Flow Products,In this chapter the author offers a generalisation of flow products, namely reactive flow products.

彩色的蜡笔 发表于 2025-3-27 07:14:11

http://reply.papertrans.cn/83/8219/821879/821879_33.png

Sciatica 发表于 2025-3-27 11:26:33

Reactive Preferential Structures and Non-monotonic Consequence,In this chapter the author gives an abstract and also a very concrete semantics to IBRSs (information-bearing relation systems), and shows that a special case of IBRS generalizes preferential semantics in a very natural way and solves open representation problems for weak logical systems.

DECRY 发表于 2025-3-27 15:15:30

http://reply.papertrans.cn/83/8219/821879/821879_35.png

predict 发表于 2025-3-27 21:15:31

978-3-662-51436-8Springer-Verlag Berlin Heidelberg 2013

MEEK 发表于 2025-3-27 22:50:34

http://reply.papertrans.cn/83/8219/821879/821879_37.png

纬度 发表于 2025-3-28 04:17:34

Introducing Reactive Kripke Semantics and Arc Accessibility,me specific examples from different application areas. The author then discusses several options for defining reactivity. And finally the chapter gives some technical results in the area of modal logic.

HALL 发表于 2025-3-28 10:00:02

Cognitive Technologieshttp://image.papertrans.cn/r/image/821879.jpg

Metamorphosis 发表于 2025-3-28 11:39:37

https://doi.org/10.1007/978-3-642-41389-6Deontic logic; Hypermodal logics; Kripke semantics; Logic; Mathematical logic; Modal logic; Reactive autom
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Reactive Kripke Semantics; Dov M. Gabbay Book 2013 Springer-Verlag Berlin Heidelberg 2013 Deontic logic.Hypermodal logics.Kripke semantics