Expressive completeness failure in branching time structures

DOI10.1016/0022-0000(87)90003-1zbMath0656.03010OpenAlexW1965973058MaRDI QIDQ1109759

Amihood Amir

Publication date: 1987

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(87)90003-1

zbMATH Keywords

expressive completenesstense logicbranching timefunctional completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?

Cites Work

• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Expressive completeness failure in branching time structures