Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics

DOI10.1145/3501300zbMath1502.68285arXiv2009.00971OpenAlexW3081939111WikidataQ114613905 ScholiaQ114613905MaRDI QIDQ5034233

Lutz Schröder, Clemens Kupke, Dirk Pattinson

Publication date: 24 February 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

hybrid logiccoalgebraic logicdescription logicsprobabilistic modal logicglobal cachingTBoxesglobal assumptionsPresburger modal logic

Mathematics Subject Classification ID

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

This page was built for publication: Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics