Artykuły w czasopismach na temat „Modal logic”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach 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.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
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łaDe Araujo Feitosa, Hércules, Mariana Matulovic i Ana Claudia de J. Golzio. "A basic epistemic logic and its algebraic model". INTERMATHS 4, nr 2 (30.12.2023): 28–37. http://dx.doi.org/10.22481/intermaths.v4i2.14133.
Pełny tekst źródłaCalcagno, Cristiano, Philippa Gardner i Uri Zarfaty. "Context logic as modal logic". ACM SIGPLAN Notices 42, nr 1 (17.01.2007): 123–34. http://dx.doi.org/10.1145/1190215.1190236.
Pełny tekst źródłaDemri, Stéphane, i Raul Fervari. "The power of modal separation logics". Journal of Logic and Computation 29, nr 8 (grudzień 2019): 1139–84. http://dx.doi.org/10.1093/logcom/exz019.
Pełny tekst źródłaMruczek-Nasieniewska, Krystyna, i Marek Nasieniewski. "A Kotas-Style Characterisation of Minimal Discussive Logic". Axioms 8, nr 4 (1.10.2019): 108. http://dx.doi.org/10.3390/axioms8040108.
Pełny tekst źródłaKupke, Clemens, Dirk Pattinson i Lutz Schröder. "Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics". ACM Transactions on Computational Logic 23, nr 2 (30.04.2022): 1–34. http://dx.doi.org/10.1145/3501300.
Pełny tekst źródłaBalbiani, Philippe. "A Modal Semantics of Negation in Logic Programming". Fundamenta Informaticae 16, nr 3-4 (1.05.1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Pełny tekst źródłaSASAKI, KATSUMI. "FORMULAS IN MODAL LOGIC S4". Review of Symbolic Logic 3, nr 4 (13.09.2010): 600–627. http://dx.doi.org/10.1017/s1755020310000043.
Pełny tekst źródłaMilnikel, Robert. "Embedding Modal Nonmonotonic Logics into Default Logic". Studia Logica 75, nr 3 (grudzień 2003): 377–82. http://dx.doi.org/10.1023/b:stud.0000009566.83940.4f.
Pełny tekst źródłaRimatskiy, 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.
Pełny tekst źródłaHOLLIDAY, WESLEY H., i TADEUSZ LITAK. "COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS". Review of Symbolic Logic 12, nr 3 (4.07.2019): 487–535. http://dx.doi.org/10.1017/s1755020317000259.
Pełny tekst źródłaLin, Zhe, i Minghui Ma. "Gentzen sequent calculi for some intuitionistic modal logics". Logic Journal of the IGPL 27, nr 4 (30.05.2019): 596–623. http://dx.doi.org/10.1093/jigpal/jzz020.
Pełny tekst źródłaParisi, Andrew. "Second-Order Modal Logic". Bulletin of Symbolic Logic 27, nr 4 (grudzień 2021): 530–31. http://dx.doi.org/10.1017/bsl.2020.45.
Pełny tekst źródłaLi, Dazhu. "Losing connection: the modal logic of definable link deletion". Journal of Logic and Computation 30, nr 3 (kwiecień 2020): 715–43. http://dx.doi.org/10.1093/logcom/exz036.
Pełny tekst źródłaDROBYSHEVICH, SERGEY, i HEINRICH WANSING. "PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS". Review of Symbolic Logic 13, nr 4 (17.06.2019): 720–47. http://dx.doi.org/10.1017/s1755020319000261.
Pełny tekst źródłaKontopoulos, Efstratios, Nick Bassiliades, Guido Governatori i Grigoris Antoniou. "A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web". International Journal on Semantic Web and Information Systems 7, nr 1 (styczeń 2011): 18–43. http://dx.doi.org/10.4018/jswis.2011010102.
Pełny tekst źródłaHirsch, R., I. Hodkinson i A. Kurucz. "On modal logics betweenK × K × KandS5 × S5 × S5". Journal of Symbolic Logic 67, nr 1 (marzec 2002): 221–34. http://dx.doi.org/10.2178/jsl/1190150040.
Pełny tekst źródłaGoguadze, George, Carla Piazza i Yde Venema. "Simulating polyadic modal logics by monadic ones". Journal of Symbolic Logic 68, nr 2 (czerwiec 2003): 419–62. http://dx.doi.org/10.2178/jsl/1052669058.
Pełny tekst źródłaRybakov, Mikhail, i Dmitry Shkatov. "Recursive enumerability and elementary frame definability in predicate modal logic". Journal of Logic and Computation 30, nr 2 (20.12.2019): 549–60. http://dx.doi.org/10.1093/logcom/exz028.
Pełny tekst źródłaShapirovsky, Ilya. "Satisfiability Problems on Sums of Kripke Frames". ACM Transactions on Computational Logic 23, nr 3 (31.07.2022): 1–25. http://dx.doi.org/10.1145/3508068.
Pełny tekst źródłaNocic, Vladimir, i Jasmina Nocic. "Modal logic and logic of fiction". Theoria, Beograd 56, nr 4 (2013): 47–62. http://dx.doi.org/10.2298/theo1304047n.
Pełny tekst źródłaHodkinson, Ian, i Louis Paternault. "Axiomatizing hybrid logic using modal logic". Journal of Applied Logic 8, nr 4 (grudzień 2010): 386–96. http://dx.doi.org/10.1016/j.jal.2010.08.005.
Pełny tekst źródłaTulenheimo, Tero. "Hybrid Logic Meets IF Modal Logic". Journal of Logic, Language and Information 18, nr 4 (28.04.2009): 559–91. http://dx.doi.org/10.1007/s10849-009-9092-y.
Pełny tekst źródłaAllo, Patrick. "Adaptive Logic as a Modal Logic". Studia Logica 101, nr 5 (11.10.2012): 933–58. http://dx.doi.org/10.1007/s11225-012-9403-1.
Pełny tekst źródłaMURAI, Tetsuya, i Satoru FUKAMI. "Modal Logic (1)". Journal of Japan Society for Fuzzy Theory and Systems 7, nr 1 (1995): 3–18. http://dx.doi.org/10.3156/jfuzzy.7.1_3.
Pełny tekst źródłaMURAI, Tetsuya, i Satoru FUKAMI. "Modal Logic (2)". Journal of Japan Society for Fuzzy Theory and Systems 7, nr 2 (1995): 222–38. http://dx.doi.org/10.3156/jfuzzy.7.2_222.
Pełny tekst źródłaDegnan, Michael J. "Aristotle’s Modal Logic". Ancient Philosophy 20, nr 1 (2000): 215–22. http://dx.doi.org/10.5840/ancientphil200020118.
Pełny tekst źródłaVenema, Yde. "Cylindric modal logic". Journal of Symbolic Logic 60, nr 2 (czerwiec 1995): 591–623. http://dx.doi.org/10.2307/2275853.
Pełny tekst źródłaKracht, Marcus. "Technical Modal Logic". Philosophy Compass 6, nr 5 (maj 2011): 350–59. http://dx.doi.org/10.1111/j.1747-9991.2011.00396.x.
Pełny tekst źródłaBozzelli, Laura, Hans van Ditmarsch, Tim French, James Hales i Sophie Pinchinat. "Refinement modal logic". Information and Computation 239 (grudzień 2014): 303–39. http://dx.doi.org/10.1016/j.ic.2014.07.013.
Pełny tekst źródłaDunn, J. Michael. "Positive modal logic". Studia Logica 55, nr 2 (1995): 301–17. http://dx.doi.org/10.1007/bf01061239.
Pełny tekst źródłaKamide, Norihiro, i Yaroslav Shramko. "Modal Multilattice Logic". Logica Universalis 11, nr 3 (20.07.2017): 317–43. http://dx.doi.org/10.1007/s11787-017-0172-5.
Pełny tekst źródłaOstertag, Gary. "Russell’s Modal Logic?" Russell: The Journal of Bertrand Russell Studies 20, nr 2 (grudzień 2000): 165–72. http://dx.doi.org/10.1353/rss.2000.0005.
Pełny tekst źródłaHARRISON-TRAINOR, MATTHEW. "FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS". Review of Symbolic Logic 12, nr 4 (2.09.2019): 637–62. http://dx.doi.org/10.1017/s1755020319000418.
Pełny tekst źródłaGYENIS, ZALÁN. "STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE". Review of Symbolic Logic 13, nr 2 (22.03.2019): 326–37. http://dx.doi.org/10.1017/s1755020319000157.
Pełny tekst źródłaBEZHANISHVILI, GURAM, DAVID GABELAIA i JOEL LUCERO-BRYAN. "MODAL LOGICS OF METRIC SPACES". Review of Symbolic Logic 8, nr 1 (18.12.2014): 178–91. http://dx.doi.org/10.1017/s1755020314000446.
Pełny tekst źródłaHella, Lauri, Antti Kuusisto, Arne Meier i Jonni Virtema. "Model checking and validity in propositional and modal inclusion logics". Journal of Logic and Computation 29, nr 5 (10.04.2019): 605–30. http://dx.doi.org/10.1093/logcom/exz008.
Pełny tekst źródłaGabelaia, D., A. Kurucz, F. Wolter i M. Zakharyaschev. "Products of ‘transitive” modal logics". Journal of Symbolic Logic 70, nr 3 (wrzesień 2005): 993–1021. http://dx.doi.org/10.2178/jsl/1122038925.
Pełny tekst źródłaKracht, Marcus, i Frank Wolter. "Normal monomodal logics can simulate all others". Journal of Symbolic Logic 64, nr 1 (marzec 1999): 99–138. http://dx.doi.org/10.2307/2586754.
Pełny tekst źródłaMarek, V. Wiktor, i Miroslaw Truszczynski. "More on Modal Aspects of Default Logic1". Fundamenta Informaticae 17, nr 1-2 (1.07.1992): 99–116. http://dx.doi.org/10.3233/fi-1992-171-207.
Pełny tekst źródłaPRIOR, A. N. "Modal Logic and the Logic of Applicability". Theoria 34, nr 3 (11.02.2008): 183–202. http://dx.doi.org/10.1111/j.1755-2567.1968.tb00350.x.
Pełny tekst źródła