An update on ``might''
type: Item
instance of: scholarly article
title: An update on ``might''
zbMATH Open document ID: 0887.03022
DOI: 10.1023/A:1008219821036
author: Jaap van der Does
author: Willem Groeneveld
author: Frank Veltman
published in: Journal of Logic, Language and Information
publication date: 1998-01-07T00:00:00Z
review text: Three consequence relations are defined (the definitions are based on some forms of ``supporting the conclusion'' rather than on truth-preservation); respective Gentzen-like logics are defined for them, and their completeness and decidability are proved. Syntax and semantics of a logic for ``might'' are introduced.
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 1080665
zbMATH Keywords: dynamic consequence relations
zbMATH Keywords: modal auxiliaries
zbMATH Keywords: substructural logics
zbMATH Keywords: update semantics
zbMATH Keywords: semantics of a logic for might
reviewed by: Pavel Materna
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1080665