scientific article; zbMATH DE number 935035

MaRDI QIDQ4895423zbMATH OpenFDO

Authors Marcello D'Agostino, Alessandra Russo, Dov Gabbay

Publication date 31 August 1999

Full work available at URL https://eudml.org/doc/39060

zbMATH Keywords

semanticsmodal logicquantalerelevance logiclabelled deductive systeminformation framesubstructural logics with modal operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Ordered semigroups and monoids (06F05)

Recommendations

• Barwise's information frames and modal logics
• scientific article; zbMATH DE number 1936763
• A class of decidable information logics
• scientific article; zbMATH DE number 1114035
• Generalized Kripke frames
• Kripke semantics for modal substructural logics
• scientific article; zbMATH DE number 1420890
• Informational interpretation of substructural propositional logics
• Logics containing K4. Part II
• The structure of lattices of subframe logics

Cited in

(8)

• scientific article; zbMATH DE number 1936763 (Why is no real title available?)
• Barwise's information frames and modal logics
• Models for substructural arithmetics
• Generalized Kripke frames
• A Useful Substructural Logic
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Combinatory logic and the semantics of substructural logics
• Categories: how I learned to stop worrying and love two sorts

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