From (AB)a infer A^*a

zbMATH Open1268.03011MaRDI QIDQ4648944FDOQ4648944

Authors: Bjørn Jespersen 

Publication date: 16 November 2012

Recommendations

• What is an inference rule?
• scientific article; zbMATH DE number 975727
• New modification of the subformula property for a modal logic
• A method of logical inference of modified conclusions
• scientific article; zbMATH DE number 4204322

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cited In (2)

• Title not available (Why is that?)
• A new logic of technical malfunction

This page was built for publication: From \((AB)a\) infer \(A^*a\)

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