1

Are there any attempts for tableaux/ tree rules for Hintikkas K-IF logic?

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.