scientific article; zbMATH DE number 1389650

zbMATH Open0936.03019MaRDI QIDQ4934143

Melvin Fitting

Publication date: 20 February 2000

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

zbMATH Keywords

quantified modal logicpredicate abstractiontableau proof method

Mathematics Subject Classification ID

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

Related Items (9)

Title not available (Why is that?) ⋮ A theoretical investigation into quantitative modal logic ⋮ Leśniewski-quantifiers and modal arguments in legal discourse ⋮ Modal metatheory for quantified modal logic, with and without the Barcan formulas ⋮ Practical extraction of evidence terms from common-knowledge reasoning ⋮ Modal logic with bounded quantification over worlds ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Generalized quantifiers and modal 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 Q4934143)