Gotowa bibliografia na temat „Modality (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 „Modality (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 "Modality (Logic)"
Avron, Arnon, i Anna Zamansky. "Paraconsistency, self-extensionality, modality". Logic Journal of the IGPL 28, nr 5 (27.11.2018): 851–80. http://dx.doi.org/10.1093/jigpal/jzy064.
Pełny tekst źródłaBirštunas, Adomas. "Efficient decision procedure for Belief modality". Lietuvos matematikos rinkinys 45 (18.12.2005): 321–25. http://dx.doi.org/10.15388/lmr.2005.26673.
Pełny tekst źródłaSperanski, Stanislav O. "Negation as a modality in a quantified setting". Journal of Logic and Computation 31, nr 5 (5.04.2021): 1330–55. http://dx.doi.org/10.1093/logcom/exab025.
Pełny tekst źródłaPetik, Ja O. "Modality and folk psychology". Studies in history and philosophy of science and technology 28, nr 1 (5.05.2019): 19–27. http://dx.doi.org/10.15421/271903.
Pełny tekst źródłaSpies, Simon, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal i Derek Dreyer. "Later credits: resourceful reasoning for the later modality". Proceedings of the ACM on Programming Languages 6, ICFP (29.08.2022): 283–311. http://dx.doi.org/10.1145/3547631.
Pełny tekst źródłaTHIELECKE, HAYO. "Control effects as a modality". Journal of Functional Programming 19, nr 1 (styczeń 2009): 17–26. http://dx.doi.org/10.1017/s0956796808006734.
Pełny tekst źródłaWilson, Alastair. "Modality: Metaphysics, Logic and Epistemology". Australasian Journal of Philosophy 89, nr 4 (grudzień 2011): 755–56. http://dx.doi.org/10.1080/00048402.2011.592541.
Pełny tekst źródłaKACHI, Daisuke. "Partial Logic as a Logic of Extensional Alethic Modality". Journal of the Japan Association for Philosophy of Science 34, nr 2 (2007): 61–70. http://dx.doi.org/10.4288/kisoron1954.34.61.
Pełny tekst źródłaWhite, Graham. "Causality, Modality, and Explanation". Notre Dame Journal of Formal Logic 49, nr 3 (lipiec 2008): 313–43. http://dx.doi.org/10.1215/00294527-2008-015.
Pełny tekst źródłaKurokawa, Hidenori, i Hirohiko Kushida. "Resource sharing linear logic". Journal of Logic and Computation 30, nr 1 (styczeń 2020): 295–319. http://dx.doi.org/10.1093/logcom/exaa013.
Pełny tekst źródłaRozprawy doktorskie na temat "Modality (Logic)"
Brodowski, Björn. "Concepts and modality". Thesis, University of Aberdeen, 2012. http://digitool.abdn.ac.uk:80/webclient/DeliveryManager?pid=195807.
Pełny tekst źródłaCavanaugh, 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łny tekst źródłaPeñ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.
Pełny tekst źródłaTitle 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.
Pełny tekst źródłaArts, 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.
Pełny tekst źródłaComeau, 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.
Pełny tekst źródłaPeron, Newton Marques 1982. "(In)completude modal por (N)matrizes finitas". [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281196.
Pełny tekst źródłaTese (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.
Pełny tekst źródłaFrench, 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.
Pełny tekst źródłaStoddard, 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.
Pełny tekst źródłaKsiążki na temat "Modality (Logic)"
Girle, Rod. Modal logics and philosophy: Introduction to modal logic. Teddington: Acumen, 2000.
Znajdź pełny tekst źródłade, Rijke Maarten, red. Advances in intensional logic. Dordrecht: Kluwer Academic Publishers, 1997.
Znajdź pełny tekst źródłaGirle, Rod. Modal logics and philosophy. Teddington: Acumen, 2000.
Znajdź pełny tekst źródłaChagrov, Alexander. Modal logic. Oxford: Clarendon Press, 1997.
Znajdź pełny tekst źródłaWansing, H. Displaying modal logic. Dordrecht [Netherlands]: Kluwer Academic, 1998.
Znajdź pełny tekst źródłaMarx, Maarten. Multi-dimensional modal logic. Dordrecht: Kluwer Academic Publishers, 1997.
Znajdź pełny tekst źródłaBenthem, J. F. A. K. van. Modal logic for open minds. Stanford, Calif: Center for the Study of Language and Information, 2010.
Znajdź pełny tekst źródłaPopkorn, Sally. First steps in modal logic. Cambridge: Cambridge University Press, 1994.
Znajdź pełny tekst źródła1959-, Blackburn Patrick, Benthem, J. F. A. K. van, 1949- i Wolter Frank, red. Handbook of modal logic. Amsterdam: Elsevier, 2007.
Znajdź pełny tekst źródłade, Rijke Maarten, red. Diamonds and defaults: Studies in pure and applied intensional logic. Dordrecht: Kluwer Academic Publishers, 1993.
Znajdź pełny tekst źródłaCzęści książek na temat "Modality (Logic)"
Stern, Johannes. "Modality and Logic". W Trends in Logic, 23–67. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22557-9_2.
Pełny tekst źródłaAkama, Seiki. "On Constructive Modality". W Applied Logic Series, 143–58. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-011-5638-7_7.
Pełny tekst źródłaGhilardi, Silvio. "The Invariance Modality". W Outstanding Contributions to Logic, 165–75. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-06843-0_6.
Pełny tekst źródłaSmoryński, C. "Provability as Modality". W 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.
Pełny tekst źródłaÅgotnes, Thomas, i Natasha Alechina. "Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection". W Modality, Semantics and Interpretations, 1–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47197-5_1.
Pełny tekst źródłaVenema, Yde. "Meeting a Modality?" W Applied Logic: How, What and Why, 343–61. Dordrecht: Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-015-8533-0_12.
Pełny tekst źródłaMa, Minghui, i Shanxia Wang. "Finite-Chain Graded Modal Logic". W Modality, Semantics and Interpretations, 71–85. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47197-5_4.
Pełny tekst źródłaFont, Josep M., i Ventura Verdú. "Two Levels of Modality: An Algebraic Approach". W Logic Counts, 53–61. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-0687-7_5.
Pełny tekst źródłaSmith, Robin. "Ancient Greek modal logic". W 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.
Pełny tekst źródłaStern, Johannes. "Modality and Axiomatic Theories of Truth". W Trends in Logic, 121–73. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22557-9_4.
Pełny tekst źródłaStreszczenia konferencji na temat "Modality (Logic)"
Guatto, Adrien. "A Generalized Modality for Recursion". W 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.
Pełny tekst źródłaNaumov, Pavel, i Oliver Orejola. "Shhh! The Logic of Clandestine Operations". W 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.
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łaJiang, Junli, i Pavel Naumov. "In Data We Trust: The Logic of Trust-Based Beliefs". W 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.
Pełny tekst źródłaÅgotnes, Thomas, i Yì N. Wáng. "Somebody Knows". W 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.
Pełny tekst źródłaFREYTES, HECTOR. "A LOGIC-ALGEBRAIC FRAMEWORK FOR CONTEXTUALITY AND MODALITY IN QUANTUM SYSTEMS". W Proceedings of the Young Quantum Meetings. WORLD SCIENTIFIC, 2014. http://dx.doi.org/10.1142/9789814596299_0014.
Pełny tekst źródłaTrindade, Rafael Gauna, Andrea Schwertner Charão i 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". W XXV Workshop sobre Educação em Computação. Sociedade Brasileira de Computação - SBC, 2017. http://dx.doi.org/10.5753/wei.2017.3539.
Pełny tekst źródłaNaumov, Pavel, i Jia Tao. "Knowing-How under Uncertainty (Extended Abstract)". W 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.
Pełny tekst źródłaWild, Paul, Lutz Schröder, Dirk Pattinson i Barbara König. "A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic". W 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.
Pełny tekst źródłaBaltag, Alexandru, Nick Bezhanishvili i David Fernández-Duque. "The Topology of Surprise". W 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.
Pełny tekst źródła