scientific article; zbMATH DE number 3817677

zbMATH Open0517.03006MaRDI QIDQ3665079FDOQ3665079

Authors: Ehjgirdas Gudzhinskas 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

cut-elimination theoremtime logicaxiomatical system

Mathematics Subject Classification ID

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

Cited In (2)

• Cut-free sequent systems for temporal logic
• The proof theory of common knowledge

This page was built for publication:

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