Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation

DOI10.1007/978-3-642-32897-8_13zbMath1361.68231OpenAlexW38751362MaRDI QIDQ2915051

Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer

Publication date: 21 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32897-8_13

zbMATH Keywords

bisimulationargumentationfull hybrid mu-calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (1)

Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

This page was built for publication: Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation