An observation concerning Porte's rule in modal logic

MaRDI QIDQ5501723zbMATH OpenFDO

Authors Rohan French, Lloyd Humberstone

Publication date 14 August 2015

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/44_12_4.pdf

zbMATH Keywords

normal modal logicPorte's rule

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Positive modal logic
• An alternative rule of disjunction in modal logic
• Modal logics with the MacIntosh rule
• Solutions for Porte's conjectures
• Does the deduction theorem fail for modal logic?

Cited in

(3)

• A unified semantics for a family of modal logics with propositional constants
• About the unification types of modal logics
• The modal equivalence rules of the Port-Royal logic

This page was built for publication: An observation concerning Porte's rule in modal logic

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