scientific article; zbMATH DE number 4143963

MaRDI QIDQ3475261zbMATH OpenFDO

Authors Marcin Mostowski

Publication date 1987

zbMATH Keywords

proof theory for a logic of branched quantifierssecond order semantics for branched quantifiers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 1163949
• scientific article; zbMATH DE number 1163387
• scientific article; zbMATH DE number 1086489
• Publication:3211286
• Pure Logic with Branched Quantifiers

Cited in

(6)

• Decidability problems in languages with Henkin quantifiers
• On the ontology of branching quantifiers
• Pure Logic with Branched Quantifiers
• scientific article; zbMATH DE number 1086489 (Why is no real title available?)
• scientific article; zbMATH DE number 1163949 (Why is no real title available?)
• Independence-friendly logic without Henkin quantification

Describes a project that uses

Uses Software

• Mizar

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