A multi-labelled sequent calculus for Topo-Logic
type: Item
instance of: scholarly article
title: A multi-labelled sequent calculus for Topo-Logic
author: Ian Shillito
publication date: 2020-06-04T00:00:00Z
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7208321
zbMATH Keywords: topological semantics
zbMATH Keywords: epistemic logic
zbMATH Keywords: labelled sequents
zbMATH Keywords: backwards proof search
zbMATH Keywords: direct completeness proof
MaRDI profile type: Publication
full work available at URL: exaa021
OpenAlex ID: W3011473228
DOI: 10.1093/LOGCOM/EXAA021
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 7208321