Gotowa bibliografia na temat „Modal logic”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Modal logic”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Modal logic"
Schumann, Andrew. "Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic". Journal of Indian Philosophy 49, nr 3 (26.05.2021): 467–98. http://dx.doi.org/10.1007/s10781-021-09470-5.
Pełny tekst źródłaRybakov, V. V. "Hereditarily structurally complete modal logics". Journal of Symbolic Logic 60, nr 1 (marzec 1995): 266–88. http://dx.doi.org/10.2307/2275521.
Pełny tekst źródłaKooi, Barteld, i Allard Tamminga. "Three-valued Logics in Modal Logic". Studia Logica 101, nr 5 (21.08.2012): 1061–72. http://dx.doi.org/10.1007/s11225-012-9420-0.
Pełny tekst źródłaBEZHANISHVILI, GURAM, NICK BEZHANISHVILI i JULIA ILIN. "STABLE MODAL LOGICS". Review of Symbolic Logic 11, nr 3 (wrzesień 2018): 436–69. http://dx.doi.org/10.1017/s1755020317000375.
Pełny tekst źródłaDemey, Lorenz. "Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics". Axioms 10, nr 3 (22.06.2021): 128. http://dx.doi.org/10.3390/axioms10030128.
Pełny tekst źródłaVenema, Yde, Alexander Chagrov i Michael Zakharyaschev. "Modal Logic". Philosophical Review 109, nr 2 (kwiecień 2000): 286. http://dx.doi.org/10.2307/2693587.
Pełny tekst źródłaKracht, Marcus, Patrick Blackburn, Maarten de Rijke i Yde Venema. "Modal Logic". Bulletin of Symbolic Logic 8, nr 2 (czerwiec 2002): 299. http://dx.doi.org/10.2307/2693968.
Pełny tekst źródłaVenema, Y. "MODAL LOGIC". Philosophical Review 109, nr 2 (1.04.2000): 286–89. http://dx.doi.org/10.1215/00318108-109-2-286.
Pełny tekst źródłaSpencer-Smith, Richard. "Modal logic". Artificial Intelligence Review 5, nr 1-2 (1991): 5–34. http://dx.doi.org/10.1007/bf00129533.
Pełny tekst źródłaEwald, W. B. "Intuitionistic tense and modal logic". Journal of Symbolic Logic 51, nr 1 (marzec 1986): 166–79. http://dx.doi.org/10.2307/2273953.
Pełny tekst źródłaRozprawy doktorskie na temat "Modal logic"
Wansing, Heinrich. "Displaying modal logic /". Dordrecht [u.a.] : Kluwer, 1998. http://www.gbv.de/dms/ilmenau/toc/24662969X.PDF.
Pełny tekst źródłaPapacchini, Fabio. "Minimal model reasoning for modal logic". Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/minimal-model-reasoning-for-modal-logic(dbfeb158-f719-4640-9cc9-92abd26bd83e).html.
Pełny tekst źródłaBatchelor, Roderick. "Investigations in modal logic". Thesis, King's College London (University of London), 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.409258.
Pełny tekst źródłaWilkinson, Toby. "Enriched coalgebraic modal logic". Thesis, University of Southampton, 2013. https://eprints.soton.ac.uk/354112/.
Pełny tekst źródłaMurakami, Yuko. "Modal logic of partitions". [Bloomington, Ind.] : Indiana University, 2005. http://wwwlib.umi.com/dissertations/fullcit/3162977.
Pełny tekst źródłaTitle from PDF t.p. (viewed Dec. 2, 2008). Source: Dissertation Abstracts International, Volume: 66-02, Section: A, page: 0620. Chairs: Lawrence Moss; Michael Dunn.
Zanichelli, Riccardo <1993>. "Aristotle’s modal syllogistic and first-order modal logic". Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2022. http://amsdottorato.unibo.it/10396/1/rzamsafml.pdf.
Pełny tekst źródłaThalmann, Lars. "Term-modal logic and quantifier-free dynamic assignment logic". Doctoral thesis, Uppsala : Institutionen för informationsteknologi, Univ. [distributör], 2000. http://publications.uu.se/theses/91-506-1443-6/.
Pełny tekst źródłaChou, Soi Ngan. "Normal systems of modal logic". Thesis, University of Macau, 2000. http://umaclib3.umac.mo/record=b1446655.
Pełny tekst źródłaMartin, Alan J. "Modal and fixpoint linear logic". Thesis, University of Ottawa (Canada), 2002. http://hdl.handle.net/10393/6074.
Pełny tekst źródłaCosta, Marcos Mota do Carmo. "Characterization of modal (action) logic". Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/47821.
Pełny tekst źródłaKsiążki na temat "Modal logic"
Girle, Rod. Modal logics and philosophy: Introduction to modal logic. Teddington: Acumen, 2000.
Znajdź pełny tekst źródłaChagrov, Alexander. Modal logic. Oxford: Clarendon Press, 1997.
Znajdź pełny tekst źródłaWansing, Heinrich. Displaying Modal Logic. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-017-1280-4.
Pełny tekst źródłaIntroductory modal logic. Notre Dame, Ind: University of Notre Dame Press, 1986.
Znajdź pełny tekst źródłaRijke, Maarten de. Extending modal logic. Amsterdam: Institute for Logic, Language and Computation,Universiteit van Amsterdam, 1993.
Znajdź pełny tekst źródłaWansing, H. Displaying modal logic. Dordrecht [Netherlands]: Kluwer Academic, 1998.
Znajdź pełny tekst źródłaMaarten, Marx, Pólos László i Masuch Michael 1949-, red. Arrow logic and multi-modal logic. Stanford, Calif: CSLI Publications, 1996.
Znajdź pełny tekst źródłaEijck, J. van. Dynamic modal predicate logic. Utrecht: Research Institute for Language and Speech, 1993.
Znajdź pełny tekst źródłaMarx, Maarten, i Yde Venema. Multi-Dimensional Modal Logic. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-011-5694-3.
Pełny tekst źródłaRuzsa, Imre. Modal Logic with Descriptions. Dordrecht: Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-2294-0.
Pełny tekst źródłaCzęści książek na temat "Modal logic"
Wansing, Heinrich. "Display Logic". W Displaying Modal Logic, 27–46. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-017-1280-4_3.
Pełny tekst źródłaNerode, Anil, i Richard A. Shore. "Modal Logic". W Logic for Applications, 221–62. New York, NY: Springer New York, 1997. http://dx.doi.org/10.1007/978-1-4612-0649-1_5.
Pełny tekst źródłade Swart, H. C. M. "Modal Logic". W Springer Undergraduate Texts in Philosophy, 277–328. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03255-5_6.
Pełny tekst źródłaChatti, Saloua. "Modal Logic". W Studies in Universal Logic, 147–262. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-27466-5_4.
Pełny tekst źródłaNerode, Anil, i Richard A. Shore. "Modal Logic". W Logic for Applications, 207–45. New York, NY: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4684-0211-7_4.
Pełny tekst źródłaGochet, Paul. "Modal logic". W Handbook of Pragmatics, 1–9. Amsterdam: John Benjamins Publishing Company, 2007. http://dx.doi.org/10.1075/hop.11.mod1.
Pełny tekst źródłaGochet, Paul. "Modal logic". W Handbook of Pragmatics, 371–76. Amsterdam: John Benjamins Publishing Company, 1995. http://dx.doi.org/10.1075/hop.m.mod1.
Pełny tekst źródłaGochet, Paul. "Modal logic". W Philosophical Perspectives for Pragmatics, 163–70. Amsterdam: John Benjamins Publishing Company, 2011. http://dx.doi.org/10.1075/hoph.10.14goc.
Pełny tekst źródłaGochet, Paul. "Modal logic". W Handbook of Pragmatics, 954–60. Amsterdam: John Benjamins Publishing Company, 2022. http://dx.doi.org/10.1075/hop.m2.mod1.
Pełny tekst źródłaMarek, V. Wiktor, i Mirosław Truszczyński. "Modal logic". W Artificial Intelligence, 189–222. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-662-02906-0_7.
Pełny tekst źródłaStreszczenia konferencji na temat "Modal logic"
Calcagno, Cristiano, Philippa Gardner i Uri Zarfaty. "Context logic as modal logic". W the 34th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1190216.1190236.
Pełny tekst źródłaWild, Paul, i Lutz Schröder. "A Characterization Theorem for a Modal Description Logic". W Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/181.
Pełny tekst źródłaEsteva, Francese, Lluis Godo i Ricardo Oscar Rodriguez. "On the relation between modal and multi-modal logics over Łukasiewicz logic". W 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2017. http://dx.doi.org/10.1109/fuzz-ieee.2017.8015703.
Pełny tekst źródłaKamide, Norihiro. "Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic". W 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2023. http://dx.doi.org/10.1109/ismvl57333.2023.00017.
Pełny tekst źródłaMizutani, Kaori, i Takamasa Akiyama. "A Logit Model for Modal Choice with a Fuzzy Logic Utility Function". W Second International Conference on Transportation and Traffic Studies (ICTTS ). Reston, VA: American Society of Civil Engineers, 2000. http://dx.doi.org/10.1061/40503(277)49.
Pełny tekst źródłaKumar, Pradeep. "Modal logic & ownership types". W Companion to the 21st ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1176617.1176721.
Pełny tekst źródłaYang, Syraya Chin-mu. "A UNIVERSALLY FREE MODAL LOGIC". W The 11th Asian Logic Conference - In Honor of Professor Chong Chitat on His 60th Birthday. WORLD SCIENTIFIC, 2011. http://dx.doi.org/10.1142/9789814360548_0010.
Pełny tekst źródłaHong, Zhiling. "Constrained Epistemic Action Modal Logic". W Next Generation Computer and Information Technology 2015. Science & Engineering Research Support soCiety, 2015. http://dx.doi.org/10.14257/astl.2015.111.21.
Pełny tekst źródłaKRAUSE, DÉCIO, JONAS R. BECKER ARENHART i PEDRO MERLUSSI. "A MODAL LOGIC OF INDISCERNIBILITY". W Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Approaches. WORLD SCIENTIFIC, 2016. http://dx.doi.org/10.1142/9789813146280_0011.
Pełny tekst źródłaJiang, Min, Yang Yu, Fei Chao, Minghui Shi i Changle Zhou. "A connectionist model for 2-dimensional modal logic". W 2013 IEEE Symposium on Computational Intelligence for Human-like Intelligence (CIHLI). IEEE, 2013. http://dx.doi.org/10.1109/cihli.2013.6613265.
Pełny tekst źródłaRaporty organizacyjne na temat "Modal logic"
Lutz, Carsten, i Ulrike Sattler. The Complexity of Reasoning with Boolean Modal Logics (Extended Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.105.
Pełny tekst źródłaLutz, Carsten, i Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.
Pełny tekst źródłaHirsch, Colin, i Stephan Tobies. A Tableau Algorithm for the Clique Guarded Fragment. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.106.
Pełny tekst źródłaLutz, Carsten, i Dirk Walther. PDL with Negation of Atomic Programs. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.129.
Pełny tekst źródłaKozachenko, Nadiia. AGM cognitive actions as modal operators of three-valued logic: presentation. Ruhr-Universität Bochum, lipiec 2022. http://dx.doi.org/10.31812/123456789/6687.
Pełny tekst źródłaBaader, Franz, Stefan Borgwardt i Barbara Morawska. Computing Minimal EL-Unifiers is Hard. Technische Universität Dresden, 2012. http://dx.doi.org/10.25368/2022.187.
Pełny tekst źródłaBorgwardt, Stefan, Felix Distel i Rafael Peñaloza. Gödel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.199.
Pełny tekst źródłaBorgwardt, Stefan, i Rafael Peñaloza. Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices. Technische Universität Dresden, 2012. http://dx.doi.org/10.25368/2022.188.
Pełny tekst źródłaConte, Ianina. Evidence Synthesis Programme (ESP) Logic Model. National Institute for Health and Care Research, luty 2023. http://dx.doi.org/10.3310/nihropenres.1115203.1.
Pełny tekst źródłaDavoren, Jennifer M. Modal Logics for Continuous Dynamics. Fort Belvoir, VA: Defense Technical Information Center, listopad 1997. http://dx.doi.org/10.21236/ada344316.
Pełny tekst źródła