A study of some tense logics by Gentzen's sequential method

DOI10.2977/PRIMS/1195187208MaRDI QIDQ1145691zbMATH OpenOpenAlexFDO

Authors Hirokazu Nishimura

Publication date 1980

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2977/prims/1195187208

zbMATH Keywords

semantical completenessGentzen methodGentzen-type sequential systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites work

• scientific article; zbMATH DE number 3131074 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• scientific article; zbMATH DE number 3402571 (Why is no real title available?)
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Model theory for tense logics

Cited in

(2)

• Sequential method in propositional dynamic logic
• A survey of nonstandard sequent calculi

This page was built for publication: A study of some tense logics by Gentzen's sequential method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1145691)