Predicate logics on display
type: Item
instance of: scholarly article
title: Predicate logics on display
zbMATH Open document ID: 0922.03016
DOI: 10.1023/A:1005125717300
published in: Studia Logica
publication date: 1999-10-18T00:00:00Z
review text: Display systems introduced by N. Belnap treat the modality \(\square\) using an ``inverse'' connective \(\bigcirc\) (sometimes in the past) and the following rules: \(\bigcirc A\to X/A\to\square X\) and \(A\to X/\square A\to\bigcirc X\). The author extends this treatment to predicate logic using \(\bigcirc_x\) indexed by variable \(x\). Additional modal-like operations \(S_{xy}\) modeling substitution \([x/y]\) are introduced. As always in display logic, numerous structural rules are needed.
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 1275038
zbMATH Keywords: modalities
zbMATH Keywords: predicate logic
zbMATH Keywords: display logic
author: Heinrich Wansing
reviewed by: G. E. Mints
MaRDI profile type: Publication
full work available at URL: a:1005125717300
OpenAlex ID: W4241430495
description: scientific article; zbMATH DE number 1275038