Back to Search
Start Over
[Untitled]
- Source :
- Studia Logica. 59:149-177
- Publication Year :
- 1997
- Publisher :
- Springer Science and Business Media LLC, 1997.
-
Abstract
- This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics.
- Subjects :
- Discrete mathematics
Logic
Normal modal logic
Modal logic
Algebra
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Modal
History and Philosophy of Science
ComputerApplications_MISCELLANEOUS
Monoidal t-norm logic
Accessibility relation
Kripke semantics
T-norm fuzzy logics
Łukasiewicz logic
Hardware_LOGICDESIGN
Mathematics
Subjects
Details
- ISSN :
- 00393215
- Volume :
- 59
- Database :
- OpenAIRE
- Journal :
- Studia Logica
- Accession number :
- edsair.doi...........4c1386a770cc56adbcb48eb74910c57c