scientific article; zbMATH DE number 978241

MaRDI QIDQ4332417zbMATH OpenFDO

Authors Melvin Fitting

Publication date 22 May 1997

zbMATH Keywords

modal Herbrand theoremmodal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1418446
• A Modal Herbrand's Property
• Herbrand style proof procedures for modal logic
• scientific article; zbMATH DE number 1735883
• Publication:3030268
• scientific article; zbMATH DE number 3914292
• scientific article; zbMATH DE number 698628
• On Herbrand’s Theorem for Intuitionistic Logic
• scientific article; zbMATH DE number 4154443
• Montague's theorem and modal logic

Cited in

(8)

• Representing scope in intuitionistic deductions
• A Modal Herbrand's Property
• scientific article; zbMATH DE number 1222423 (Why is no real title available?)
• Herbrand style proof procedures for modal logic
• scientific article; zbMATH DE number 1507180 (Why is no real title available?)
• scientific article; zbMATH DE number 1418446 (Why is no real title available?)
• On Herbrand's theorem for hybrid logic
• The eskolemization of universal quantifiers

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