Solution to a Problem of Goranko and Passy

DOI10.1093/LOGCOM/4.1.21MaRDI QIDQ4286214zbMATH OpenOpenAlexFDO

Authors F. 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

bimodal logicfinitely complete logicminimal extensionmodal logicmonomodal fragmentsubframe logictransfer propertyuniversal modality

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4152401
• scientific article; zbMATH DE number 1555476
• SOLUTION TO A PROBLEM OF KUBLANOVSKY AND SAPIR
• scientific article; zbMATH DE number 7504411
• scientific article; zbMATH DE number 1293534
• A problem of S. S. Goncharov
• A solution to a problem of Gargano, Lewinter and Malerba
• On solutions of the Gol'dshtik problem
• The Solution to a Problem of Grünbaum
• scientific article; zbMATH DE number 18141

Cited in

(5)

• A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
• Sequent calculi for global modal consequence relations
• ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR
• Completeness and decidability of tense logics closely related to logics above K4
• scientific article; zbMATH DE number 7504411 (Why is no real title available?)

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

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