scientific article; zbMATH DE number 810105

MaRDI QIDQ4853317zbMATH OpenFDO

Authors G. Kutty, Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith

Publication date 30 January 1996

zbMATH Keywords

axiomatizationsconcurrencyinterval logicpropositional interval logicstemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 3889506
• Completeness of temporal logics over infinite intervals.
• scientific article; zbMATH DE number 3862427
• Interval logics and their decision procedures. I: An interval logic
• scientific article; zbMATH DE number 708661

Cited in

(9)

• scientific article; zbMATH DE number 3889506 (Why is no real title available?)
• The interval representation problem
• scientific article; zbMATH DE number 4056996 (Why is no real title available?)
• scientific article; zbMATH DE number 708661 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Algebraic axiomatization of tense intuitionistic logic
• Interval logics and their decision procedures. I: An interval logic
• Interval logics and their decision procedures. II: A real-time interval logic

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