논리연구 (Korean Journal of Logic)
- 제9권1호
- /
- Pages.1-29
- /
- 2006
- /
- 1598-7493(pISSN)
Algebraic completeness results for sKD and its Extensions
초록
This paper investigates algebraic semantics for sKD and its extensions
This paper investigates algebraic semantics for sKD and its extensions