Yablifying the rosser sentence
Graham Leach-Krouse
págs. 827-834
BH-CIFOL: : case-intensional first order logic
Nuel Belnap, Thomas Müller
págs. 835-866
The one-variable fragment of T
John Slaney, Edward Walker
págs. 867-876
Fregean quantification theory
Saúl A. Kripke
págs. 879-881
The intensional many - conservativity reclaimed
Harald Andreas Bastiaanse
págs. 883-901
Preferential semantics using non-smooth preference relations
Frederik Van De Putte, Christian Straßer
págs. 903-942
Models and logical consequence
Gil Sagi
págs. 943-964
Be nice! How simple imperatives simplify imperative logic
Jörg Hansen
págs. 965-977
Against hypothetical syllogism
Lee Walters
págs. 979-997
Rosser-type undecidable sentences based on Yablo's paradox
Taishi Kurahashi
págs. 999-1017
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: