scientific article; zbMATH DE number 1418446

zbMATH Open0947.03024MaRDI QIDQ4942001FDOQ4942001

Authors: Melvin Fitting 

Publication date: 19 March 2000

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

Recommendations

• scientific article; zbMATH DE number 978241
• On Herbrand's theorem for hybrid logic
• scientific article; zbMATH DE number 4154443
• A Modal Herbrand's Property
• Herbrand style proof procedures for modal logic

zbMATH Keywords

Herbrand theoremmodal logic \textbf{K}

Mathematics Subject Classification ID

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

Cited In (19)

• Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem
• A hidden Herbrand theorem: Combining the object and logic paradigms
• The Skolemization of existential quantifiers in intuitionistic logic
• Towards automated reasoning in Herbrand structures
• On the ``no deadlock criterion: from Herbrand's theorem to \textit{geometry of interaction}
• Herbrand's theorem and non-Euclidean geometry
• On Herbrand's theorem
• Title not available (Why is that?)
• The resolution method for one reducible class of formulas of the first-order modal logic S4.
• On Herbrand’s Theorem for Intuitionistic Logic
• The Hart-Shelah example, in stronger logics
• Hereditarily structurally complete modal logics
• Title not available (Why is that?)
• Sequent forms of Herbrand theorem and their applications
• Herbrand theorems for substructural logics
• A Modal Herbrand's Property
• On Herbrand's theorem for hybrid logic
• Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving
• A natural proof system for Herbrand's theorem

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