We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback