Studia Logica
AHCI-ISI SCOPUS (1953,1955-1958,1960-2002,2004-2023)SCIE-ISI
1572-8730
Cơ quản chủ quản: Springer Netherlands , SPRINGER
Lĩnh vực:
History and Philosophy of ScienceLogic
Các bài báo tiêu biểu
Deontic Interpreted Systems
Tập 75 - Trang 63-92 - 2003
We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The re...... hiện toàn bộ