scientific article; zbMATH DE number 5316610

MaRDI QIDQ3520846zbMATH OpenFDO

Authors David Makinson

Publication date 26 August 2008

zbMATH Keywords

compactnessconsequencefriendlinessinterpolationsympathy

Mathematics Subject Classification ID

Classical propositional logic (03B05) Abstract deductive systems (03B22)

Recommendations

• scientific article; zbMATH DE number 2196616
• scientific article; zbMATH DE number 5917718
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
• Axiomatizing epistemic logic of friendship via tree sequent calculus
• Tiebout and sympathy
• A general logic of propositional attitudes
• The friendship paradox

Cited in

(4)

• On nonmonotonic consequence relations
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
• scientific article; zbMATH DE number 2196616 (Why is no real title available?)
• Propositional relevance through letter-sharing

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