First-Order Fischer Servi Logic

MaRDI QIDQ6521155arXivFDO

Authors

Published in arXiv

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

This page was built for publication: First-Order Fischer Servi Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6521155)