LTL vs. CTL

From: sasha mal <sashaDOTmal@xxxxxxxxxxxxx>
Date: Mon, 28 Jan 2008 20:15:44 +0100

Dear all,

Let f be a CTL formula ang g an LTL formula (both without past
modalities). Assume that there is an infinite transition system T (in
which each state has a successor) that separates f and g, i.e. T is a
model of f, but not of g, or T is a model of g, but not of f. Is there a
finite transition system (in which each state has a successor) that
separates g and f?

Any ideas are welcome.
Thanks and best regards
Sasha.

.

Prev by Date: Re: Simulation: digital vs analogue
Next by Date: Re: Simulation: digital vs analogue
Previous by thread: encoding a vector
Next by thread: LIVE PROJECTS FOR FINAL YEAR STUDENTS FOR B.E(CSE/ISE/ECE)/M.Tech/BCA/MCA/M.SC/B.SC
Index(es):
- Date
- Thread

Relevant Pages

LTL vs. CTL
... Let f be a CTL formula ang g an LTL formula (both without past ... Assume that there is an infinite transition system T (in ... which each state has a successor) that separates f and g, ... separates g and f? ...
(sci.math)
LTL vs. CTL
... Let f be a CTL formula ang g an LTL formula (both only with future ... Assume that there is an infinite transition system T (in ... which each state has a successor) that separates f and g, ... separates g and f? ...
(sci.logic)
Re: LTL vs. CTL
... Assume that there is an infinite transition system T (in ... which each state has a successor) that separates f and g, ... separates g and f? ...
(sci.logic)