Mathematical Foundations of Computer Science 2005
From MaRDI portal
Publication:5492882
DOI10.1007/11549345zbMath1156.03319OpenAlexW2494705596MaRDI QIDQ5492882
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11549345
decidabilityreasoning about knowledgetopological reasoningknowledge and algebrasmodal and hybrid logic
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)
Related Items (1)
This page was built for publication: Mathematical Foundations of Computer Science 2005