O modálních systémech s rosserovskými modalitami

Abstrakt

Diskutují se modální logiky s rosserovskými modalitami. Zkoumají se alternativní axiomy týkající se těchto symbolů, které jsou korektní i vůči zobecněným důkazovým predikátům.

Klíčová slova

• Modal
• Systems
• Rosser
• Modalities