Добірка наукової літератури з теми "Modal logic"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Modal logic".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Modal logic"
Schumann, Andrew. "Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic." Journal of Indian Philosophy 49, no. 3 (May 26, 2021): 467–98. http://dx.doi.org/10.1007/s10781-021-09470-5.
Повний текст джерелаRybakov, V. V. "Hereditarily structurally complete modal logics." Journal of Symbolic Logic 60, no. 1 (March 1995): 266–88. http://dx.doi.org/10.2307/2275521.
Повний текст джерелаKooi, Barteld, and Allard Tamminga. "Three-valued Logics in Modal Logic." Studia Logica 101, no. 5 (August 21, 2012): 1061–72. http://dx.doi.org/10.1007/s11225-012-9420-0.
Повний текст джерелаBEZHANISHVILI, GURAM, NICK BEZHANISHVILI, and JULIA ILIN. "STABLE MODAL LOGICS." Review of Symbolic Logic 11, no. 3 (September 2018): 436–69. http://dx.doi.org/10.1017/s1755020317000375.
Повний текст джерелаDemey, Lorenz. "Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics." Axioms 10, no. 3 (June 22, 2021): 128. http://dx.doi.org/10.3390/axioms10030128.
Повний текст джерелаVenema, Yde, Alexander Chagrov, and Michael Zakharyaschev. "Modal Logic." Philosophical Review 109, no. 2 (April 2000): 286. http://dx.doi.org/10.2307/2693587.
Повний текст джерелаKracht, Marcus, Patrick Blackburn, Maarten de Rijke, and Yde Venema. "Modal Logic." Bulletin of Symbolic Logic 8, no. 2 (June 2002): 299. http://dx.doi.org/10.2307/2693968.
Повний текст джерелаVenema, Y. "MODAL LOGIC." Philosophical Review 109, no. 2 (April 1, 2000): 286–89. http://dx.doi.org/10.1215/00318108-109-2-286.
Повний текст джерелаSpencer-Smith, Richard. "Modal logic." Artificial Intelligence Review 5, no. 1-2 (1991): 5–34. http://dx.doi.org/10.1007/bf00129533.
Повний текст джерелаEwald, W. B. "Intuitionistic tense and modal logic." Journal of Symbolic Logic 51, no. 1 (March 1986): 166–79. http://dx.doi.org/10.2307/2273953.
Повний текст джерелаДисертації з теми "Modal logic"
Wansing, Heinrich. "Displaying modal logic /." Dordrecht [u.a.] : Kluwer, 1998. http://www.gbv.de/dms/ilmenau/toc/24662969X.PDF.
Повний текст джерелаPapacchini, 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.
Повний текст джерелаBatchelor, 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.
Повний текст джерелаWilkinson, Toby. "Enriched coalgebraic modal logic." Thesis, University of Southampton, 2013. https://eprints.soton.ac.uk/354112/.
Повний текст джерелаMurakami, Yuko. "Modal logic of partitions." [Bloomington, Ind.] : Indiana University, 2005. http://wwwlib.umi.com/dissertations/fullcit/3162977.
Повний текст джерелаTitle 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.
Повний текст джерелаThalmann, 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/.
Повний текст джерелаChou, Soi Ngan. "Normal systems of modal logic." Thesis, University of Macau, 2000. http://umaclib3.umac.mo/record=b1446655.
Повний текст джерелаMartin, Alan J. "Modal and fixpoint linear logic." Thesis, University of Ottawa (Canada), 2002. http://hdl.handle.net/10393/6074.
Повний текст джерелаCosta, Marcos Mota do Carmo. "Characterization of modal (action) logic." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/47821.
Повний текст джерелаКниги з теми "Modal logic"
Girle, Rod. Modal logics and philosophy: Introduction to modal logic. Teddington: Acumen, 2000.
Знайти повний текст джерелаChagrov, Alexander. Modal logic. Oxford: Clarendon Press, 1997.
Знайти повний текст джерелаWansing, Heinrich. Displaying Modal Logic. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-017-1280-4.
Повний текст джерелаIntroductory modal logic. Notre Dame, Ind: University of Notre Dame Press, 1986.
Знайти повний текст джерелаRijke, Maarten de. Extending modal logic. Amsterdam: Institute for Logic, Language and Computation,Universiteit van Amsterdam, 1993.
Знайти повний текст джерелаWansing, H. Displaying modal logic. Dordrecht [Netherlands]: Kluwer Academic, 1998.
Знайти повний текст джерелаMaarten, Marx, Pólos László, and Masuch Michael 1949-, eds. Arrow logic and multi-modal logic. Stanford, Calif: CSLI Publications, 1996.
Знайти повний текст джерелаEijck, J. van. Dynamic modal predicate logic. Utrecht: Research Institute for Language and Speech, 1993.
Знайти повний текст джерелаMarx, Maarten, and Yde Venema. Multi-Dimensional Modal Logic. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-011-5694-3.
Повний текст джерелаRuzsa, Imre. Modal Logic with Descriptions. Dordrecht: Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-2294-0.
Повний текст джерелаЧастини книг з теми "Modal logic"
Wansing, Heinrich. "Display Logic." In Displaying Modal Logic, 27–46. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-017-1280-4_3.
Повний текст джерелаNerode, Anil, and Richard A. Shore. "Modal Logic." In Logic for Applications, 221–62. New York, NY: Springer New York, 1997. http://dx.doi.org/10.1007/978-1-4612-0649-1_5.
Повний текст джерелаde Swart, H. C. M. "Modal Logic." In Springer Undergraduate Texts in Philosophy, 277–328. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03255-5_6.
Повний текст джерелаChatti, Saloua. "Modal Logic." In Studies in Universal Logic, 147–262. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-27466-5_4.
Повний текст джерелаNerode, Anil, and Richard A. Shore. "Modal Logic." In Logic for Applications, 207–45. New York, NY: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4684-0211-7_4.
Повний текст джерелаGochet, Paul. "Modal logic." In Handbook of Pragmatics, 1–9. Amsterdam: John Benjamins Publishing Company, 2007. http://dx.doi.org/10.1075/hop.11.mod1.
Повний текст джерелаGochet, Paul. "Modal logic." In Handbook of Pragmatics, 371–76. Amsterdam: John Benjamins Publishing Company, 1995. http://dx.doi.org/10.1075/hop.m.mod1.
Повний текст джерелаGochet, Paul. "Modal logic." In Philosophical Perspectives for Pragmatics, 163–70. Amsterdam: John Benjamins Publishing Company, 2011. http://dx.doi.org/10.1075/hoph.10.14goc.
Повний текст джерелаGochet, Paul. "Modal logic." In Handbook of Pragmatics, 954–60. Amsterdam: John Benjamins Publishing Company, 2022. http://dx.doi.org/10.1075/hop.m2.mod1.
Повний текст джерелаMarek, V. Wiktor, and Mirosław Truszczyński. "Modal logic." In Artificial Intelligence, 189–222. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-662-02906-0_7.
Повний текст джерелаТези доповідей конференцій з теми "Modal logic"
Calcagno, Cristiano, Philippa Gardner, and Uri Zarfaty. "Context logic as modal logic." In the 34th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1190216.1190236.
Повний текст джерелаWild, Paul, and Lutz Schröder. "A Characterization Theorem for a Modal Description Logic." In 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.
Повний текст джерелаEsteva, Francese, Lluis Godo, and Ricardo Oscar Rodriguez. "On the relation between modal and multi-modal logics over Łukasiewicz logic." In 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2017. http://dx.doi.org/10.1109/fuzz-ieee.2017.8015703.
Повний текст джерелаKamide, Norihiro. "Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic." In 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL). IEEE, 2023. http://dx.doi.org/10.1109/ismvl57333.2023.00017.
Повний текст джерелаMizutani, Kaori, and Takamasa Akiyama. "A Logit Model for Modal Choice with a Fuzzy Logic Utility Function." In 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.
Повний текст джерелаKumar, Pradeep. "Modal logic & ownership types." In Companion to the 21st ACM SIGPLAN conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1176617.1176721.
Повний текст джерелаYang, Syraya Chin-mu. "A UNIVERSALLY FREE MODAL LOGIC." In 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.
Повний текст джерелаHong, Zhiling. "Constrained Epistemic Action Modal Logic." In Next Generation Computer and Information Technology 2015. Science & Engineering Research Support soCiety, 2015. http://dx.doi.org/10.14257/astl.2015.111.21.
Повний текст джерелаKRAUSE, DÉCIO, JONAS R. BECKER ARENHART, and PEDRO MERLUSSI. "A MODAL LOGIC OF INDISCERNIBILITY." In Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Approaches. WORLD SCIENTIFIC, 2016. http://dx.doi.org/10.1142/9789813146280_0011.
Повний текст джерелаJiang, Min, Yang Yu, Fei Chao, Minghui Shi, and Changle Zhou. "A connectionist model for 2-dimensional modal logic." In 2013 IEEE Symposium on Computational Intelligence for Human-like Intelligence (CIHLI). IEEE, 2013. http://dx.doi.org/10.1109/cihli.2013.6613265.
Повний текст джерелаЗвіти організацій з теми "Modal logic"
Lutz, Carsten, and 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.
Повний текст джерелаLutz, Carsten, and Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.
Повний текст джерелаHirsch, Colin, and Stephan Tobies. A Tableau Algorithm for the Clique Guarded Fragment. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.106.
Повний текст джерелаLutz, Carsten, and Dirk Walther. PDL with Negation of Atomic Programs. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.129.
Повний текст джерелаKozachenko, Nadiia. AGM cognitive actions as modal operators of three-valued logic: presentation. Ruhr-Universität Bochum, July 2022. http://dx.doi.org/10.31812/123456789/6687.
Повний текст джерелаBaader, Franz, Stefan Borgwardt, and Barbara Morawska. Computing Minimal EL-Unifiers is Hard. Technische Universität Dresden, 2012. http://dx.doi.org/10.25368/2022.187.
Повний текст джерелаBorgwardt, Stefan, Felix Distel, and 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.
Повний текст джерелаBorgwardt, Stefan, and 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.
Повний текст джерелаConte, Ianina. Evidence Synthesis Programme (ESP) Logic Model. National Institute for Health and Care Research, February 2023. http://dx.doi.org/10.3310/nihropenres.1115203.1.
Повний текст джерелаDavoren, Jennifer M. Modal Logics for Continuous Dynamics. Fort Belvoir, VA: Defense Technical Information Center, November 1997. http://dx.doi.org/10.21236/ada344316.
Повний текст джерела