On some time properties of untimed propositional implication

MaRDI QIDQ5411490zbMATH OpenFDO

Authors Mirosław Kurkowski

Publication date 23 April 2014

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/40_12_8.pdf

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A temporal logic approach to object certification
• scientific article; zbMATH DE number 218548
• Temporal logic and fair discrete systems
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
• Temporal logic and state systems

This page was built for publication: On some time properties of untimed propositional implication

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