scientific article; zbMATH DE number 912323

zbMATH Open0854.03016MaRDI QIDQ4887112FDOQ4887112

Heinrich Wansing

Publication date: 1 August 1996

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

Recommendations

• scientific article; zbMATH DE number 2213628
• Minimal Axiomatization in Modal Logic
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• scientific article; zbMATH DE number 3855066
• scientific article; zbMATH DE number 3877151

zbMATH Keywords

axiomatizationminimal normal tense logic

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• An axiomatic re-characterization of the Kemeny rule

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 Q4887112)