Solution to a Problem of Goranko and Passy

DOI10.1093/LOGCOM/4.1.21zbMath0788.03026OpenAlexW2042215536MaRDI QIDQ4286214

Frank Wolter

Publication date: 5 June 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/4.1.21

zbMATH Keywords

modal logicminimal extensionbimodal logicsubframe logicuniversal modalitytransfer propertyfinitely complete logicmonomodal fragment

Mathematics Subject Classification ID

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

Related Items (2)

Completeness and decidability of tense logics closely related to logics above K4 ⋮ Sequent calculi for global modal consequence relations

This page was built for publication: Solution to a Problem of Goranko and Passy