Results 31 to 40 of about 45 (43)
Some of the next articles are maybe not open access.
First-order logics for comparative similarity.
Notre Dame Journal of Formal Logic, 1988Timothy Williamson
exaly
The decision problem for linear temporal logic.
Notre Dame Journal of Formal Logic, 1985Yuri Gurevich
exaly
Quick completeness proofs for some logics of conditionals.
Notre Dame Journal of Formal Logic, 1981exaly
The admissibility of $\gamma$ in ${\rm R}4$.
Notre Dame Journal of Formal Logic, 1992Edwin D Mares, Robert K Meyer
exaly