Basic logic, K4, and persistence

DOI10.1023/A:1005298819843zbMath0942.03008OpenAlexW1489361083MaRDI QIDQ1970919

Wim Ruitenburg

Publication date: 23 August 2000

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

Full work available at URL: https://doi.org/10.1023/a:1005298819843

zbMATH Keywords

bisimulationbasic logicKripke modelsstrong persistencetransitive framesfirst-order formula with one free variable

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

A closer look at some subintuitionistic logics

This page was built for publication: Basic logic, K4, and persistence