scientific article; zbMATH DE number 1114353

zbMATH Open0888.03001MaRDI QIDQ4376072

Guy Perrier

Publication date: 1997

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

zbMATH Keywords

decision proceduresecond-order linear logicfragment of MALL2

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

A Decidable Fragment of First Order Modal Logic: Two Variable Term 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 Q4376072)