scientific article; zbMATH DE number 1418446

MaRDI QIDQ4942001zbMATHFDO

Authors Melvin Fitting

Publication date 19 March 2000

zbMATH Keywords

Herbrand theoremmodal logic \textbf{K}

Mathematics Subject Classification ID

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

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

Cited in

(19)

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

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)