Moderasi beragama merupakan bagian dari Rencana Pembangunan Jangka Menengah Nasional (RPJMN) 2020-2024. Untuk itu, segala upaya yang dilakukan untuk mengimplementasikan Moderasi beragama dalam berbagai bentuk perlu dilakukan. Kami menyambut baik kehadiran buku Moderasi Beragama: Implementasi dalam Pendidikan, Agama dan Budaya Lokal, yang ditulis oleh akademisi dari berbagai perguruan tinggi ini. Karena kehadiran buku ini menjadi salah satu bagian penting dalam memperkuat pemahaman dan praktik beragama yang moderat di tengah-tengah masyarakat Indonesia yang multikultur.

Larry Moss and Rohit Parikh used subset semantics to characterize a family of logics for reasoning about knowledge. An important feature of their framework is that subsets always decrease based on the assumption that knowledge always increases. We drop this assumption and modify the semantics to account for logics of knowledge that handle arbitrary changes, that is, changes that do not necessarily result in knowledge increase, such as the update of our knowledge due to an action. We present a (...) system which is complete for subset spaces and prove its decidability. (shrink)