Page 1

Displaying 1 – 4 of 4

Showing per page

Normal forms in partial modal logic

Jan Jaspars (1993)

Banach Center Publications

A "partial" generalization of Fine's definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi].

Currently displaying 1 – 4 of 4

Page 1