×

Logics for multi-subset spaces. (English) Zbl 1242.03039

Summary: We generalize Moss and Parikh’s logic of knowledge, effort, and topological reasoning, in two ways. We develop both a multi-agent and a multi-method setting for it. In each of these cases, we prove a corresponding soundness and completeness theorem, and we show that the new logics are decidable. Our methods of proof rely on those for the original system. This might have been expected, since that system is conservatively extended for the given situation. Several technical details are different nevertheless here.

MSC:

03B42 Logics of knowledge and belief (including belief change)
68T27 Logic in artificial intelligence
68T42 Agent technology and artificial intelligence
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] DOI: 10.1007/978-1-4020-5587-4 · Zbl 1172.03001 · doi:10.1007/978-1-4020-5587-4
[2] DOI: 10.1093/logcom/13.6.889 · Zbl 1054.03015 · doi:10.1093/logcom/13.6.889
[3] Blackburn P., Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science (2001) · Zbl 1108.03309
[4] Chagrov A., Modal Logic, volume 35 of Oxford Logic Guides (1997) · Zbl 0871.03007
[5] DOI: 10.1016/0168-0072(95)00016-X · Zbl 0861.68092 · doi:10.1016/0168-0072(95)00016-X
[6] Fagin R., Reasoning about Knowledge (1995)
[7] Georgatos K., Modal Logics of Topological Spaces (1993)
[8] DOI: 10.1007/3-540-58095-6_11 · doi:10.1007/3-540-58095-6_11
[9] Goldblatt R., Logics of Time and Computation, volume 7 of CSLI Lecture Notes, 2. ed. (1992)
[10] Heinemann B., Advances in Modal Logic 5 pp 73– (2005)
[11] DOI: 10.1007/978-3-540-88309-8_1 · Zbl 05351943 · doi:10.1007/978-3-540-88309-8_1
[12] Lomuscio A., ECAI 98. 13th European Conference on Artificial Intelligence pp 557–
[13] DOI: 10.2307/1969080 · Zbl 0060.06206 · doi:10.2307/1969080
[14] DOI: 10.1017/CBO9780511569852 · doi:10.1017/CBO9780511569852
[15] Moss L. S., Theoretical Aspects of Reasoning about Knowledge (TARK 1992) pp 95– (1992)
[16] DOI: 10.1023/A:1016372523344 · Zbl 1009.03015 · doi:10.1023/A:1016372523344
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.