scientific article; zbMATH DE number 1189097

MaRDI QIDQ3838804zbMATH OpenFDO

Authors Bernhard Beckert, Dov Gabbay

Publication date 13 August 1998

zbMATH Keywords

combination of logicsfirst-order logicmodal logicsemantic tableaux calculi

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 1219632
• Fibring of logics as a categorial construction
• scientific article; zbMATH DE number 1140670

Cited in

(4)

• Fibred modal tableaux
• Bottom-up Construction of Semantic Tableaux
• scientific article; zbMATH DE number 1219632 (Why is no real title available?)
• Deciding theoremhood in fibered logics without shared connectives

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