S7

DOI10.1016/j.jal.2013.07.001zbMath1284.03151OpenAlexW4206326547MaRDI QIDQ2446683

Andrew David Irvine

Publication date: 17 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2013.07.001

zbMATH Keywords

S7modal logicalethic modalityHalldén's paradox

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic of paradox revisited
• A note on the regular and irregular modal systems of Lewis
• Minimally inconsistent LP
• Generalization of a result of Hallden
• The logic of paradox
• Who's afraid of impossible worlds?
• Inconsistency without contradiction
• Many-dimensional modal logics: theory and applications
• Logic and the modalities in the twentieth century
• Some proofs of relative completeness in modal logic
• Results concerning same modal systems that contain S2
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Results concerning the decision problem of Lewis's calculi S3 and S6
• On the semantic non-completeness of certain Lewis calculi
• Independence of the primitive symbols of Lewis's calculi of propositions