Search Results for semantics. - Narrowed by: Logic, Symbolic and mathematical. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dsemantics.$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ps$003d300? 2025-12-15T13:07:28Z Reactive Kripke Semantics ent://SD_ILS/0/SD_ILS:335100 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335100.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics ent://SD_ILS/0/SD_ILS:197102 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Moot, Richard. author.&#160;Retor&eacute;, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics ent://SD_ILS/0/SD_ILS:236304 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Goldblatt, Robert.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1017/CBO9780511862359">Access by subscription</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intensional and higher-order modal logic with applications to Montague semantics ent://SD_ILS/0/SD_ILS:257038 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Gallin, Daniel.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444110022">http://www.sciencedirect.com/science/book/9780444110022</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Pragmatics and Semiotics of Standard Languages ent://SD_ILS/0/SD_ILS:535940 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Sweet, Albert, author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1515/9780271073538?locatt=mode:legacy">https://doi.org/10.1515/9780271073538?locatt=mode:legacy</a> <a href="https://www.degruyter.com/isbn/9780271073538">https://www.degruyter.com/isbn/9780271073538</a> Cover <a href="https://www.degruyter.com/cover/covers/9780271073538.jpg">https://www.degruyter.com/cover/covers/9780271073538.jpg</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic: A Brief Course ent://SD_ILS/0/SD_ILS:204617 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Mundici, Daniele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-2361-1">http://dx.doi.org/10.1007/978-88-470-2361-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of logic and language ent://SD_ILS/0/SD_ILS:148146 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Benthem, J. F. A. K. van, 1949-&#160;Meulen, Alice G. B. ter.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444537263">http://www.sciencedirect.com/science/book/9780444537263</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logica: Metodo Breve ent://SD_ILS/0/SD_ILS:204542 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Mundici, Daniele. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-1884-6">http://dx.doi.org/10.1007/978-88-470-1884-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games: Unifying Logic, Language, and Philosophy ent://SD_ILS/0/SD_ILS:170517 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Majer, Ondrej. editor.&#160;Pietarinen, Ahti-Veikko. editor.&#160;Tulenheimo, Tero. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Big Typescript, TS. 213 ent://SD_ILS/0/SD_ILS:296244 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Wittgenstein, Ludwig, 1889-1951.&#160;Luckhardt, C. Grant, 1943-&#160;Aue, Maximilian.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html">http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html</a> John Wiley <a href="http://dx.doi.org/10.1002/9780470752906">http://dx.doi.org/10.1002/9780470752906</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of logic and language ent://SD_ILS/0/SD_ILS:256543 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Benthem, Johan van, 1949-&#160;Meulen, Alice G. B. ter.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817143">http://www.sciencedirect.com/science/book/9780444817143</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The logical systems of Lesniewski ent://SD_ILS/0/SD_ILS:257359 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Luschei, Eugene C.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533951">http://www.sciencedirect.com/science/book/9780444533951</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt G&ouml;del ent://SD_ILS/0/SD_ILS:257274 2025-12-15T13:07:28Z 2025-12-15T13:07:28Z Author&#160;Mostowski, Andrzej.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533753">http://www.sciencedirect.com/science/book/9780444533753</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>