scientific article

zbMATH Open1327.68252MaRDI QIDQ3457242FDOQ3457242

Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz

Publication date: 11 December 2015

Full work available at URL: http://ebooks.iospress.nl/volumearticle/7004

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Cited In (7)

• CTL\(^\ast\) with graded path modalities
• Title not available (Why is that?)
• Title not available (Why is that?)
• First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
• Decision procedures and expressiveness in the temporal logic of branching time
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457242)