scientific article; zbMATH DE number 6806035

MaRDI QIDQ4591089zbMATH OpenFDO

Authors Cătălin Dima

Publication date 10 November 2017

zbMATH Keywords

coalition logicmodel checkingsatisfiabilitytemporal epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Combined logics (03B62) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computer Science Logic
• scientific article; zbMATH DE number 830431
• scientific article; zbMATH DE number 4033710
• Efficient algorithms for qualitative reasoning about time
• Algorithmic properties of branching-time logics
• The complexity of reasoning about knowledge and time. I: Lower bounds
• An algebraic approach to temporal logic
• Complexity and algorithms for reasoning about time
• scientific article; zbMATH DE number 1231505
• Possibilistic logic: Complexity and algorithms

Cited in

(2)

• The complexity of reasoning about knowledge and time. I: Lower bounds
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)

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 Q4591089)