Login / Signup
On Axiomatising Products of Kripke Frames.
Ágnes Kurucz
Published in:
J. Symb. Log. (2000)
Keyphrases
</>
modal logic
model checking
desirable properties
video frames
inference rules
product line
multi frame
single frame
commercial products
information systems
moving objects
temporal logic
temporal coherence