Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics

DOI10.1002/MALQ.19770233604zbMath0412.03004OpenAlexW1969011867MaRDI QIDQ4198469

Richard Routley

Publication date: 1977

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19770233604

zbMATH Keywords

completenesssoundnessKripke's semanticsrule of intersubstitutivity of strict equivalentswelding semantics for weak strict modal logics

Mathematics Subject Classification ID

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

Related Items (1)

Quantified modal logic: non-normal worlds and propositional attitudes

This page was built for publication: Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics