Labelled modal logics: Quantifiers
type: Item
instance of: scholarly article
title: Labelled modal logics: Quantifiers
zbMATH Open document ID: 0933.03016
DOI: 10.1023/A:1008278803780
author: Seán Matthews
author: Luca Viganò
author: David Basin
published in: Journal of Logic, Language and Information
publication date: 2000-03-29T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 1290122
zbMATH Keywords: quantified modal logic
zbMATH Keywords: free logic
zbMATH Keywords: labelled deductive systems
zbMATH Keywords: labelled natural deduction
zbMATH Keywords: proof systems
zbMATH Keywords: modal logic theorem prover
describes a project that uses: Isabelle
MaRDI profile type: Publication
full work available at URL: a:1008278803780
OpenAlex ID: W1566446956
description: scientific article; zbMATH DE number 1290122