scientific article; zbMATH DE number 3652306

MaRDI QIDQ3852155zbMATH OpenFDO

Authors Richard Sylvan

Publication date 1978

zbMATH Keywords

Barcan formulacompletenessconstant domain semanticsquantified non-normal modal logicsquantified quasi-entailment logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)

Cited in

(1)

• Alternative semantics for quantified first degree relevant 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 Q3852155)