Deontic Logic in Computer Science
From MaRDI portal
Publication:5901578
DOI10.1007/b98159zbMath1169.03333OpenAlexW2481393147MaRDI QIDQ5901578
Publication date: 30 April 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98159
conditional obligationframe constantshistorical necessityfinite two-dimensional co-ordinate systemtemporal realization operators