49 search results - page 1 / 10 » Safe Reasoning with Logic LTS |
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
LICS
1994
IEEE
13 years 9 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
DLOG
2008
13 years 7 months ago
2008
LANMR
2004
13 years 6 months ago
2004
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...