Flat modal fixpoint logics with the converse modality

DOI10.1093/logcom/exy016zbMath1444.03051arXiv1710.04628OpenAlexW2964150129WikidataQ129836157 ScholiaQ129836157MaRDI QIDQ4612435

Sebastian Enqvist

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.04628

zbMATH Keywords

networkcompletenessmu-calculusconverse modalitymodal fixpoint logic

Mathematics Subject Classification ID

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

Related Items (1)

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games

This page was built for publication: Flat modal fixpoint logics with the converse modality