Idempotent Transductions for Modal Logics

DOI10.1007/978-3-540-74621-8_12zbMath1148.03314OpenAlexW1585155261MaRDI QIDQ3525009

Tim French

Publication date: 16 September 2008

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74621-8_12

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Idempotent Transductions for Modal Logics