EuDML | Browse

Loading [MathJax]/extensions/MathZoom.js

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Bxx General logic
03B45 Modal logic (including the logic of norms)

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 4 of 4

Negation And Contradiction.

R. Routley, V. Routley (1985)

Revista colombiana de matematicas

Negative Modal Operators in Intuitionistic Logic

Kosta Došen (1984)

Publications de l'Institut Mathématique

Negative modal operators in intuitionistic logic.

Došen, Kosta (1984)

Publications de l'Institut Mathématique. Nouvelle Série

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