ML-1992-02: Maximal Kripke-type Semantics for Modal and Superintuitionistic Predicate Logics

ML-1992-02: Skvortsov, Dmitrij P. and Shehtman, Valentin B. (1992) Maximal Kripke-type Semantics for Modal and Superintuitionistic Predicate Logics. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
ML-1992-02.text.pdf

Download (4MB) | Preview
Item Type: Report
Report Nr: ML-1992-02
Series Name: Mathematical Logic and Foundations (ML)
Year: 1992
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1316

Actions (login required)

View Item View Item