Proof-theoretic results of common sense modal predicate calculi
type: Item
instance of: scholarly article
title: Proof-theoretic results of common sense modal predicate calculi
zbMATH Open document ID: 1547.03155
DOI: 10.1007/978-981-15-7134-3_10
author: Takahiro Sawasaki
author: Katsuhiko Sano
publication date: 2024-09-10T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7910365
zbMATH Keywords: common sense modal predicate logic
zbMATH Keywords: modal predicate logic
zbMATH Keywords: Hilbert-style system
zbMATH Keywords: sequent calculus
MaRDI profile type: Publication
cites work: First-order modal logic
cites work: Q4789451
cites work: Gentzen systems for modal logic
cites work: Q4698331
cites work: On the proof theory of the modal logic for arithmetic provability
cites work: Q3972527
cites work: Q3247119
cites work: Logics without the contraction rule
cites work: The modal logic of provability. The sequential approach
description: scientific article; zbMATH DE number 7910365