Artículos de revistas sobre el tema "Modal logic"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Modal logic".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Schumann, Andrew. "Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic". Journal of Indian Philosophy 49, n.º 3 (26 de mayo de 2021): 467–98. http://dx.doi.org/10.1007/s10781-021-09470-5.
Texto completoRybakov, V. V. "Hereditarily structurally complete modal logics". Journal of Symbolic Logic 60, n.º 1 (marzo de 1995): 266–88. http://dx.doi.org/10.2307/2275521.
Texto completoKooi, Barteld y Allard Tamminga. "Three-valued Logics in Modal Logic". Studia Logica 101, n.º 5 (21 de agosto de 2012): 1061–72. http://dx.doi.org/10.1007/s11225-012-9420-0.
Texto completoBEZHANISHVILI, GURAM, NICK BEZHANISHVILI y JULIA ILIN. "STABLE MODAL LOGICS". Review of Symbolic Logic 11, n.º 3 (septiembre de 2018): 436–69. http://dx.doi.org/10.1017/s1755020317000375.
Texto completoDemey, Lorenz. "Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics". Axioms 10, n.º 3 (22 de junio de 2021): 128. http://dx.doi.org/10.3390/axioms10030128.
Texto completoVenema, Yde, Alexander Chagrov y Michael Zakharyaschev. "Modal Logic". Philosophical Review 109, n.º 2 (abril de 2000): 286. http://dx.doi.org/10.2307/2693587.
Texto completoKracht, Marcus, Patrick Blackburn, Maarten de Rijke y Yde Venema. "Modal Logic". Bulletin of Symbolic Logic 8, n.º 2 (junio de 2002): 299. http://dx.doi.org/10.2307/2693968.
Texto completoVenema, Y. "MODAL LOGIC". Philosophical Review 109, n.º 2 (1 de abril de 2000): 286–89. http://dx.doi.org/10.1215/00318108-109-2-286.
Texto completoSpencer-Smith, Richard. "Modal logic". Artificial Intelligence Review 5, n.º 1-2 (1991): 5–34. http://dx.doi.org/10.1007/bf00129533.
Texto completoEwald, W. B. "Intuitionistic tense and modal logic". Journal of Symbolic Logic 51, n.º 1 (marzo de 1986): 166–79. http://dx.doi.org/10.2307/2273953.
Texto completoDe Araujo Feitosa, Hércules, Mariana Matulovic y Ana Claudia de J. Golzio. "A basic epistemic logic and its algebraic model". INTERMATHS 4, n.º 2 (30 de diciembre de 2023): 28–37. http://dx.doi.org/10.22481/intermaths.v4i2.14133.
Texto completoCalcagno, Cristiano, Philippa Gardner y Uri Zarfaty. "Context logic as modal logic". ACM SIGPLAN Notices 42, n.º 1 (17 de enero de 2007): 123–34. http://dx.doi.org/10.1145/1190215.1190236.
Texto completoDemri, Stéphane y Raul Fervari. "The power of modal separation logics". Journal of Logic and Computation 29, n.º 8 (diciembre de 2019): 1139–84. http://dx.doi.org/10.1093/logcom/exz019.
Texto completoMruczek-Nasieniewska, Krystyna y Marek Nasieniewski. "A Kotas-Style Characterisation of Minimal Discussive Logic". Axioms 8, n.º 4 (1 de octubre de 2019): 108. http://dx.doi.org/10.3390/axioms8040108.
Texto completoKupke, Clemens, Dirk Pattinson y Lutz Schröder. "Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics". ACM Transactions on Computational Logic 23, n.º 2 (30 de abril de 2022): 1–34. http://dx.doi.org/10.1145/3501300.
Texto completoBalbiani, Philippe. "A Modal Semantics of Negation in Logic Programming". Fundamenta Informaticae 16, n.º 3-4 (1 de mayo de 1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Texto completoSASAKI, KATSUMI. "FORMULAS IN MODAL LOGIC S4". Review of Symbolic Logic 3, n.º 4 (13 de septiembre de 2010): 600–627. http://dx.doi.org/10.1017/s1755020310000043.
Texto completoMilnikel, Robert. "Embedding Modal Nonmonotonic Logics into Default Logic". Studia Logica 75, n.º 3 (diciembre de 2003): 377–82. http://dx.doi.org/10.1023/b:stud.0000009566.83940.4f.
Texto completoRimatskiy, V. V. "Admissible Inference Rules and Semantic Property of Modal Logics". Bulletin of Irkutsk State University. Series Mathematics 37 (2021): 104–17. http://dx.doi.org/10.26516/1997-7670.2021.37.104.
Texto completoHOLLIDAY, WESLEY H. y TADEUSZ LITAK. "COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS". Review of Symbolic Logic 12, n.º 3 (4 de julio de 2019): 487–535. http://dx.doi.org/10.1017/s1755020317000259.
Texto completoLin, Zhe y Minghui Ma. "Gentzen sequent calculi for some intuitionistic modal logics". Logic Journal of the IGPL 27, n.º 4 (30 de mayo de 2019): 596–623. http://dx.doi.org/10.1093/jigpal/jzz020.
Texto completoParisi, Andrew. "Second-Order Modal Logic". Bulletin of Symbolic Logic 27, n.º 4 (diciembre de 2021): 530–31. http://dx.doi.org/10.1017/bsl.2020.45.
Texto completoLi, Dazhu. "Losing connection: the modal logic of definable link deletion". Journal of Logic and Computation 30, n.º 3 (abril de 2020): 715–43. http://dx.doi.org/10.1093/logcom/exz036.
Texto completoDROBYSHEVICH, SERGEY y HEINRICH WANSING. "PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS". Review of Symbolic Logic 13, n.º 4 (17 de junio de 2019): 720–47. http://dx.doi.org/10.1017/s1755020319000261.
Texto completoKontopoulos, Efstratios, Nick Bassiliades, Guido Governatori y Grigoris Antoniou. "A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web". International Journal on Semantic Web and Information Systems 7, n.º 1 (enero de 2011): 18–43. http://dx.doi.org/10.4018/jswis.2011010102.
Texto completoHirsch, R., I. Hodkinson y A. Kurucz. "On modal logics betweenK × K × KandS5 × S5 × S5". Journal of Symbolic Logic 67, n.º 1 (marzo de 2002): 221–34. http://dx.doi.org/10.2178/jsl/1190150040.
Texto completoGoguadze, George, Carla Piazza y Yde Venema. "Simulating polyadic modal logics by monadic ones". Journal of Symbolic Logic 68, n.º 2 (junio de 2003): 419–62. http://dx.doi.org/10.2178/jsl/1052669058.
Texto completoRybakov, Mikhail y Dmitry Shkatov. "Recursive enumerability and elementary frame definability in predicate modal logic". Journal of Logic and Computation 30, n.º 2 (20 de diciembre de 2019): 549–60. http://dx.doi.org/10.1093/logcom/exz028.
Texto completoShapirovsky, Ilya. "Satisfiability Problems on Sums of Kripke Frames". ACM Transactions on Computational Logic 23, n.º 3 (31 de julio de 2022): 1–25. http://dx.doi.org/10.1145/3508068.
Texto completoNocic, Vladimir y Jasmina Nocic. "Modal logic and logic of fiction". Theoria, Beograd 56, n.º 4 (2013): 47–62. http://dx.doi.org/10.2298/theo1304047n.
Texto completoHodkinson, Ian y Louis Paternault. "Axiomatizing hybrid logic using modal logic". Journal of Applied Logic 8, n.º 4 (diciembre de 2010): 386–96. http://dx.doi.org/10.1016/j.jal.2010.08.005.
Texto completoTulenheimo, Tero. "Hybrid Logic Meets IF Modal Logic". Journal of Logic, Language and Information 18, n.º 4 (28 de abril de 2009): 559–91. http://dx.doi.org/10.1007/s10849-009-9092-y.
Texto completoAllo, Patrick. "Adaptive Logic as a Modal Logic". Studia Logica 101, n.º 5 (11 de octubre de 2012): 933–58. http://dx.doi.org/10.1007/s11225-012-9403-1.
Texto completoMURAI, Tetsuya y Satoru FUKAMI. "Modal Logic (1)". Journal of Japan Society for Fuzzy Theory and Systems 7, n.º 1 (1995): 3–18. http://dx.doi.org/10.3156/jfuzzy.7.1_3.
Texto completoMURAI, Tetsuya y Satoru FUKAMI. "Modal Logic (2)". Journal of Japan Society for Fuzzy Theory and Systems 7, n.º 2 (1995): 222–38. http://dx.doi.org/10.3156/jfuzzy.7.2_222.
Texto completoDegnan, Michael J. "Aristotle’s Modal Logic". Ancient Philosophy 20, n.º 1 (2000): 215–22. http://dx.doi.org/10.5840/ancientphil200020118.
Texto completoVenema, Yde. "Cylindric modal logic". Journal of Symbolic Logic 60, n.º 2 (junio de 1995): 591–623. http://dx.doi.org/10.2307/2275853.
Texto completoKracht, Marcus. "Technical Modal Logic". Philosophy Compass 6, n.º 5 (mayo de 2011): 350–59. http://dx.doi.org/10.1111/j.1747-9991.2011.00396.x.
Texto completoBozzelli, Laura, Hans van Ditmarsch, Tim French, James Hales y Sophie Pinchinat. "Refinement modal logic". Information and Computation 239 (diciembre de 2014): 303–39. http://dx.doi.org/10.1016/j.ic.2014.07.013.
Texto completoDunn, J. Michael. "Positive modal logic". Studia Logica 55, n.º 2 (1995): 301–17. http://dx.doi.org/10.1007/bf01061239.
Texto completoKamide, Norihiro y Yaroslav Shramko. "Modal Multilattice Logic". Logica Universalis 11, n.º 3 (20 de julio de 2017): 317–43. http://dx.doi.org/10.1007/s11787-017-0172-5.
Texto completoOstertag, Gary. "Russell’s Modal Logic?" Russell: The Journal of Bertrand Russell Studies 20, n.º 2 (diciembre de 2000): 165–72. http://dx.doi.org/10.1353/rss.2000.0005.
Texto completoHARRISON-TRAINOR, MATTHEW. "FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS". Review of Symbolic Logic 12, n.º 4 (2 de septiembre de 2019): 637–62. http://dx.doi.org/10.1017/s1755020319000418.
Texto completoGYENIS, ZALÁN. "STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE". Review of Symbolic Logic 13, n.º 2 (22 de marzo de 2019): 326–37. http://dx.doi.org/10.1017/s1755020319000157.
Texto completoBEZHANISHVILI, GURAM, DAVID GABELAIA y JOEL LUCERO-BRYAN. "MODAL LOGICS OF METRIC SPACES". Review of Symbolic Logic 8, n.º 1 (18 de diciembre de 2014): 178–91. http://dx.doi.org/10.1017/s1755020314000446.
Texto completoHella, Lauri, Antti Kuusisto, Arne Meier y Jonni Virtema. "Model checking and validity in propositional and modal inclusion logics". Journal of Logic and Computation 29, n.º 5 (10 de abril de 2019): 605–30. http://dx.doi.org/10.1093/logcom/exz008.
Texto completoGabelaia, D., A. Kurucz, F. Wolter y M. Zakharyaschev. "Products of ‘transitive” modal logics". Journal of Symbolic Logic 70, n.º 3 (septiembre de 2005): 993–1021. http://dx.doi.org/10.2178/jsl/1122038925.
Texto completoKracht, Marcus y Frank Wolter. "Normal monomodal logics can simulate all others". Journal of Symbolic Logic 64, n.º 1 (marzo de 1999): 99–138. http://dx.doi.org/10.2307/2586754.
Texto completoMarek, V. Wiktor y Miroslaw Truszczynski. "More on Modal Aspects of Default Logic1". Fundamenta Informaticae 17, n.º 1-2 (1 de julio de 1992): 99–116. http://dx.doi.org/10.3233/fi-1992-171-207.
Texto completoPRIOR, A. N. "Modal Logic and the Logic of Applicability". Theoria 34, n.º 3 (11 de febrero de 2008): 183–202. http://dx.doi.org/10.1111/j.1755-2567.1968.tb00350.x.
Texto completo