Добірка наукової літератури з теми "Modality (Logic)"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Modality (Logic)".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Modality (Logic)"
Avron, Arnon, and Anna Zamansky. "Paraconsistency, self-extensionality, modality." Logic Journal of the IGPL 28, no. 5 (November 27, 2018): 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.
Повний текст джерелаBirštunas, Adomas. "Efficient decision procedure for Belief modality." Lietuvos matematikos rinkinys 45 (December 18, 2005): 321–25. http://dx.doi.org/10.15388/lmr.2005.26673.
Повний текст джерелаSperanski, Stanislav O. "Negation as a modality in a quantified setting." Journal of Logic and Computation 31, no. 5 (April 5, 2021): 1330–55. http://dx.doi.org/10.1093/logcom/exab025.
Повний текст джерелаPetik, Ja O. "Modality and folk psychology." Studies in history and philosophy of science and technology 28, no. 1 (May 5, 2019): 19–27. http://dx.doi.org/10.15421/271903.
Повний текст джерелаSpies, Simon, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, and Derek Dreyer. "Later credits: resourceful reasoning for the later modality." Proceedings of the ACM on Programming Languages 6, ICFP (August 29, 2022): 283–311. http://dx.doi.org/10.1145/3547631.
Повний текст джерелаTHIELECKE, HAYO. "Control effects as a modality." Journal of Functional Programming 19, no. 1 (January 2009): 17–26. http://dx.doi.org/10.1017/s0956796808006734.
Повний текст джерелаWilson, Alastair. "Modality: Metaphysics, Logic and Epistemology." Australasian Journal of Philosophy 89, no. 4 (December 2011): 755–56. http://dx.doi.org/10.1080/00048402.2011.592541.
Повний текст джерелаKACHI, Daisuke. "Partial Logic as a Logic of Extensional Alethic Modality." Journal of the Japan Association for Philosophy of Science 34, no. 2 (2007): 61–70. http://dx.doi.org/10.4288/kisoron1954.34.61.
Повний текст джерелаWhite, Graham. "Causality, Modality, and Explanation." Notre Dame Journal of Formal Logic 49, no. 3 (July 2008): 313–43. http://dx.doi.org/10.1215/00294527-2008-015.
Повний текст джерелаKurokawa, Hidenori, and Hirohiko Kushida. "Resource sharing linear logic." Journal of Logic and Computation 30, no. 1 (January 2020): 295–319. http://dx.doi.org/10.1093/logcom/exaa013.
Повний текст джерелаДисертації з теми "Modality (Logic)"
Brodowski, Björn. "Concepts and modality." Thesis, University of Aberdeen, 2012. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=195807.
Повний текст джерелаCavanaugh, Daniel J. "The cellular logic of pain modality discrimination." Diss., Search in ProQuest Dissertations & Theses. UC Only, 2009. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3390112.
Повний текст джерелаPeñafuerte, Araceli Sandil. "An actualist ontology for counterfactuals." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2008. http://wwwlib.umi.com/cr/ucsd/fullcit?p3330773.
Повний текст джерелаTitle from first page of PDF file (viewed December 5, 2008). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 160-164).
Dickson, Mark William. "Aristotle's modal ontology." Thesis, University of British Columbia, 1989. http://hdl.handle.net/2429/42125.
Повний текст джерелаArts, Faculty of
Philosophy, Department of
Graduate
Baysal, Onur Alizde Rarail. "Lower-top and upper-bottom points for any formula in temporal logic/." [s.l.]: [s.n.], 2006. http://library.iyte.edu.tr/tezler/master/matematik/T000549.pdf.
Повний текст джерелаComeau, Ryan J. "The World Is Not Enough: An Enquiry into Realism about Modality." Kent State University / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=kent1374608481.
Повний текст джерелаPeron, Newton Marques 1982. "(In)completude modal por (N)matrizes finitas." [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281196.
Повний текст джерелаTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas
Made available in DSpace on 2018-08-25T12:43:36Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_D.pdf: 1773917 bytes, checksum: da2d2a1b1ecf8da6e26e419dee4888c5 (MD5) Previous issue date: 2014
Resumo: Esse é um estudo sobre a viabilidade de matrizes finitas como semântica para lógica modal. Separamos nossa análise em dois casos: matrizes determinísticas e não-determinísticas. No primeiro caso, generalizamos o Teorema de Incompletude de Dugundji, garantindo que uma vasta família de lógicas modais não pode ser caracterizada por matrizes determinísticas finitas. No segundo caso, ampliamos a semântica de matrizes não- determinísticas para lógica modal proposta independentemente por Kearns e Ivlev. Essa ampliação engloba sistemas modais que, de acordo com nossa generalização, não podem ser caracterizados por matrizes determinísticas finitas
Abstract: This is a study on the feasibility of finite matrices as semantics for modal logics. We separate our analysis into two cases: deterministic and non-deterministic matrices. In the first case, we generalize Dugundji's Incompleteness Theorem, ensuring that a wide family of modal logic cannot be characterized by deterministic finite matrices. In the second, we extend the non-deterministic matrices semantics to modal logics proposed independently by Kearns and Ivlev. This extension embraces modal systems that, according to our generalization, cannot be characterized by finite deterministic matrices
Doutorado
Filosofia
Doutor em Filosofia
Johnston, Spencer C. "Essentialism, nominalism, and modality : the modal theories of Robert Kilwardby & John Buridan." Thesis, University of St Andrews, 2015. http://hdl.handle.net/10023/7820.
Повний текст джерелаFrench, Timothy Noel. "Bisimulation quantifiers for modal logics." University of Western Australia. School of Computer Science and Software Engineering, 2006. http://theses.library.uwa.edu.au/adt-WU2007.0013.
Повний текст джерелаStoddard, Eve Chute Douglas L. "Measuring learning modalities with neuropsychological memory measures in a college population /." Philadelphia, Pa. : Drexel University, 2007. http://hdl.handle.net/1860/1797.
Повний текст джерелаКниги з теми "Modality (Logic)"
Girle, Rod. Modal logics and philosophy: Introduction to modal logic. Teddington: Acumen, 2000.
Знайти повний текст джерелаde, Rijke Maarten, ed. Advances in intensional logic. Dordrecht: Kluwer Academic Publishers, 1997.
Знайти повний текст джерелаGirle, Rod. Modal logics and philosophy. Teddington: Acumen, 2000.
Знайти повний текст джерелаChagrov, Alexander. Modal logic. Oxford: Clarendon Press, 1997.
Знайти повний текст джерелаWansing, H. Displaying modal logic. Dordrecht [Netherlands]: Kluwer Academic, 1998.
Знайти повний текст джерелаMarx, Maarten. Multi-dimensional modal logic. Dordrecht: Kluwer Academic Publishers, 1997.
Знайти повний текст джерелаBenthem, J. F. A. K. van. Modal logic for open minds. Stanford, Calif: Center for the Study of Language and Information, 2010.
Знайти повний текст джерелаPopkorn, Sally. First steps in modal logic. Cambridge: Cambridge University Press, 1994.
Знайти повний текст джерела1959-, Blackburn Patrick, Benthem, J. F. A. K. van, 1949-, and Wolter Frank, eds. Handbook of modal logic. Amsterdam: Elsevier, 2007.
Знайти повний текст джерелаde, Rijke Maarten, ed. Diamonds and defaults: Studies in pure and applied intensional logic. Dordrecht: Kluwer Academic Publishers, 1993.
Знайти повний текст джерелаЧастини книг з теми "Modality (Logic)"
Stern, Johannes. "Modality and Logic." In Trends in Logic, 23–67. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22557-9_2.
Повний текст джерелаAkama, Seiki. "On Constructive Modality." In Applied Logic Series, 143–58. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-011-5638-7_7.
Повний текст джерелаGhilardi, Silvio. "The Invariance Modality." In Outstanding Contributions to Logic, 165–75. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-06843-0_6.
Повний текст джерелаSmoryński, C. "Provability as Modality." In Self-Reference and Modal Logic, 63–86. New York, NY: Springer New York, 1985. http://dx.doi.org/10.1007/978-1-4613-8601-8_2.
Повний текст джерелаÅgotnes, Thomas, and Natasha Alechina. "Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection." In Modality, Semantics and Interpretations, 1–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47197-5_1.
Повний текст джерелаVenema, Yde. "Meeting a Modality?" In Applied Logic: How, What and Why, 343–61. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-015-8533-0_12.
Повний текст джерелаMa, Minghui, and Shanxia Wang. "Finite-Chain Graded Modal Logic." In Modality, Semantics and Interpretations, 71–85. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47197-5_4.
Повний текст джерелаFont, Josep M., and Ventura Verdú. "Two Levels of Modality: An Algebraic Approach." In Logic Counts, 53–61. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-0687-7_5.
Повний текст джерелаSmith, Robin. "Ancient Greek modal logic." In The Routledge Handbook of Modality, 331–43. Abingdon, Oxon ; New York, NY: Routledge, 2021. |Includes bibliographical references and index.: Routledge, 2020. http://dx.doi.org/10.4324/9781315742144-37.
Повний текст джерелаStern, Johannes. "Modality and Axiomatic Theories of Truth." In Trends in Logic, 121–73. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22557-9_4.
Повний текст джерелаТези доповідей конференцій з теми "Modality (Logic)"
Guatto, Adrien. "A Generalized Modality for Recursion." In LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3209108.3209148.
Повний текст джерелаNaumov, Pavel, and Oliver Orejola. "Shhh! The Logic of Clandestine Operations." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/368.
Повний текст джерела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.
Повний текст джерелаJiang, Junli, and Pavel Naumov. "In Data We Trust: The Logic of Trust-Based Beliefs." In Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/ijcai.2022/372.
Повний текст джерелаÅgotnes, Thomas, and Yì N. Wáng. "Somebody Knows." In 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/1.
Повний текст джерелаFREYTES, HECTOR. "A LOGIC-ALGEBRAIC FRAMEWORK FOR CONTEXTUALITY AND MODALITY IN QUANTUM SYSTEMS." In Proceedings of the Young Quantum Meetings. WORLD SCIENTIFIC, 2014. http://dx.doi.org/10.1142/9789814596299_0014.
Повний текст джерелаTrindade, Rafael Gauna, Andrea Schwertner Charão, and Cassiano Andrei Dias da Silveira Schneider. "Logic in a Logic Way: um Aplicativo para Exercitar a Resolução de Problemas de Lógica da Olimpíada Brasileira de Informática." In XXV Workshop sobre Educação em Computação. Sociedade Brasileira de Computação - SBC, 2017. http://dx.doi.org/10.5753/wei.2017.3539.
Повний текст джерелаNaumov, Pavel, and Jia Tao. "Knowing-How under Uncertainty (Extended Abstract)." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/719.
Повний текст джерелаWild, Paul, Lutz Schröder, Dirk Pattinson, and Barbara König. "A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/263.
Повний текст джерелаBaltag, Alexandru, Nick Bezhanishvili, and David Fernández-Duque. "The Topology of Surprise." In 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/kr.2022/4.
Повний текст джерела