A modal logic for cyclic repeating

DOI10.1016/0890-5401(92)90077-SzbMath0767.03015MaRDI QIDQ1201727

Dimiter Vakarelov

Publication date: 17 January 1993

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

completenessdecidabilitynonstandard modelscyclic repeating of a programmodal logic for cyclic repeating

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Cites Work

• Determinism and looping in combinatory PDL
• An algebraic study of well-foundedness
• Propositional dynamic logic of looping and converse is elementarily decidable
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A modal logic for cyclic repeating