Subformula results in some propositional modal logics

DOI10.1007/BF02176170zbMath0397.03011MaRDI QIDQ1253651

Melvin Fitting

Publication date: 1978

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

S4S5DerivabilityPropositional Modal LogicsSets of Subformulas

Mathematics Subject Classification ID

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

Related Items (3)

For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ A Modified Subformula Property for the Modal Logic S4.2

Cites Work

• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item

This page was built for publication: Subformula results in some propositional modal logics