How to Build Input/Output Logic
type: Item
instance of: scholarly article
title: How to Build Input/Output Logic
zbMATH Open document ID: 1322.03017
DOI: 10.1007/978-3-319-09764-0_8
author: Xin Sun
published in: Lecture Notes in Computer Science
publication date: 2014-10-14T00:00:00Z
full work available at URL: http://orbilu.uni.lu/handle/10993/19578
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6355193
zbMATH Keywords: input/ouput logic
zbMATH Keywords: norms
zbMATH Keywords: deontic logic
MaRDI profile type: Publication
OpenAlex ID: W85158541
reviewed by: Xavier Parent
description: scientific article; zbMATH DE number 6355193