scientific article; zbMATH DE number 3908410

MaRDI QIDQ3686698zbMATH OpenFDO

Authors Michael A. McRobbie, Nuel D. jun. Belnap

Publication date 1984

zbMATH Keywords

distribution-free fragmentsfirst order extensionsrelevant logics

Mathematics Subject Classification ID

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

Recommendations

• Tableaux for intuitionistic logics
• First order abduction via tableau and sequent calculi
• scientific article; zbMATH DE number 1844496
• scientific article; zbMATH DE number 2090533
• Prefixed tableau systems for logic of proofs and provability
• scientific article; zbMATH DE number 1751350
• scientific article; zbMATH DE number 3877148
• TABLEAUX: A general theorem prover for modal logics
• Tableaux and hypersequents for justification logics
• Tableaux and Hypersequents for Justification Logic

Cited in

(3)

• Modal translations in substructural logics
• Relevance-Sensitive Truth-Trees
• scientific article; zbMATH DE number 6316278 (Why is no real title available?)

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