Raidl, Eric; Gomes, Gilberto The implicative conditional. (English) Zbl 07802214 J. Philos. Log. 53, No. 1, 1-47 (2024). MSC: 03-XX PDFBibTeX XMLCite \textit{E. Raidl} and \textit{G. Gomes}, J. Philos. Log. 53, No. 1, 1--47 (2024; Zbl 07802214) Full Text: DOI OA License
Franks, Curtis Logic discovered and logic imposed (a Purim story). (English) Zbl 07803658 Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 61-78 (2023). MSC: 00A30 PDFBibTeX XMLCite \textit{C. Franks}, in: Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. 61--78 (2023; Zbl 07803658) Full Text: DOI
Mares, Edwin C. I. Lewis’s intensional semantics. (English) Zbl 07787872 Notre Dame J. Formal Logic 64, No. 3, 329-352 (2023). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{E. Mares}, Notre Dame J. Formal Logic 64, No. 3, 329--352 (2023; Zbl 07787872) Full Text: DOI
Joaquin, Jeremiah Joven Weak Kleene and other weak logics of conditionals. (English) Zbl 07787869 Notre Dame J. Formal Logic 64, No. 3, 281-290 (2023). MSC: 03A05 03B05 03B45 PDFBibTeX XMLCite \textit{J. J. Joaquin}, Notre Dame J. Formal Logic 64, No. 3, 281--290 (2023; Zbl 07787869) Full Text: DOI
Lewitzka, Steffen Some remarks on semantics and expressiveness of the sentential calculus with identity. (English) Zbl 07726396 J. Logic Lang. Inf. 32, No. 3, 441-471 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{S. Lewitzka}, J. Logic Lang. Inf. 32, No. 3, 441--471 (2023; Zbl 07726396) Full Text: DOI arXiv
Centrone, Stefania; Minari, Pierluigi Oskar Becker and the modal translation of intuitionistic logic. (English) Zbl 07608783 Ademollo, Francesco (ed.) et al., Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai. Cham: Springer. Log. Epistemol. Unity Sci. 54, 355-368 (2022). MSC: 03A05 01A20 01A35 01A45 01A50 01A60 PDFBibTeX XMLCite \textit{S. Centrone} and \textit{P. Minari}, Log. Epistemol. Unity Sci. 54, 355--368 (2022; Zbl 07608783) Full Text: DOI
D’Agostino, Marcello; Piazza, Mario Chrysippus’ logic in a natural deduction setting. (English) Zbl 07608769 Ademollo, Francesco (ed.) et al., Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai. Cham: Springer. Log. Epistemol. Unity Sci. 54, 83-99 (2022). MSC: 03A05 01A20 01A35 01A45 01A50 01A60 PDFBibTeX XMLCite \textit{M. D'Agostino} and \textit{M. Piazza}, Log. Epistemol. Unity Sci. 54, 83--99 (2022; Zbl 07608769) Full Text: DOI
Genot, Emmanuel J. The Holmesian logician: Sherlock Holmes’ “science of deduction and analysis” and the logic of discovery. (English) Zbl 1525.03018 Synthese 198, No. 11, 10169-10186 (2021). MSC: 03A05 03B80 00A64 PDFBibTeX XMLCite \textit{E. J. Genot}, Synthese 198, No. 11, 10169--10186 (2021; Zbl 1525.03018) Full Text: DOI
Vrhovski, Jan ‘Qinghua school of logic’: mathematical logic at Qinghua University in Peking, 1926–1945. (English) Zbl 1512.03013 Hist. Philos. Log. 42, No. 3, 247-261 (2021). MSC: 03-03 01A60 01A73 01A25 PDFBibTeX XMLCite \textit{J. Vrhovski}, Hist. Philos. Log. 42, No. 3, 247--261 (2021; Zbl 1512.03013) Full Text: DOI
Davies, Richard Where is ‘there is’ in ‘\(\exists\)’? (English) Zbl 1512.03021 Hist. Philos. Log. 42, No. 1, 44-59 (2021). MSC: 03A05 03-03 01A55 01A60 PDFBibTeX XMLCite \textit{R. Davies}, Hist. Philos. Log. 42, No. 1, 44--59 (2021; Zbl 1512.03021) Full Text: DOI
Pease, Adam Choosing a logic to represent the semantics of natural language. (English) Zbl 07671039 Baroni, Pietro (ed.) et al., Logic and argumentation. 4th international conference, CLAR 2021, Hangzhou, China, October 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13040, 504-512 (2021). MSC: 03B70 68T27 PDFBibTeX XMLCite \textit{A. Pease}, Lect. Notes Comput. Sci. 13040, 504--512 (2021; Zbl 07671039) Full Text: DOI
Øgaard, Tore Fjetland Non-Boolean classical relevant logics. I. (English) Zbl 1507.03081 Synthese 198, No. 8, 6993-7024 (2021). MSC: 03B47 PDFBibTeX XMLCite \textit{T. F. Øgaard}, Synthese 198, No. 8, 6993--7024 (2021; Zbl 1507.03081) Full Text: DOI
Kerr, Alison Duncan A plea for KR. (English) Zbl 1507.03024 Synthese 198, No. 4, 3047-3071 (2021). MSC: 03A05 03B47 PDFBibTeX XMLCite \textit{A. D. Kerr}, Synthese 198, No. 4, 3047--3071 (2021; Zbl 1507.03024) Full Text: DOI
Nescolarde-Selva, J.; Usó-Doménech, J. L.; Gash, H. Belief, knowledge and faith: a logical modal theory. (English) Zbl 1496.03021 Found. Sci. 26, No. 2, 453-474 (2021). MSC: 03A05 03B42 PDFBibTeX XMLCite \textit{J. Nescolarde-Selva} et al., Found. Sci. 26, No. 2, 453--474 (2021; Zbl 1496.03021) Full Text: DOI
Martin, Ben; Hjortland, Ole Logical predictivism. (English) Zbl 07345738 J. Philos. Log. 50, No. 2, 285-318 (2021). MSC: 03-XX PDFBibTeX XMLCite \textit{B. Martin} and \textit{O. Hjortland}, J. Philos. Log. 50, No. 2, 285--318 (2021; Zbl 07345738) Full Text: DOI
Rönnedal, Daniel Quantified temporal alethic boulesic doxastic logic. (English) Zbl 1493.03003 Log. Univers. 15, No. 1, 1-65 (2021). Reviewer: Grigory K. Olkhovikov (Bochum) MSC: 03B45 03B42 03B44 PDFBibTeX XMLCite \textit{D. Rönnedal}, Log. Univers. 15, No. 1, 1--65 (2021; Zbl 1493.03003) Full Text: DOI
Bonacina, Maria Paola; Winkler, Sarah SGGS decision procedures. (English) Zbl 07614522 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 356-374 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{M. P. Bonacina} and \textit{S. Winkler}, Lect. Notes Comput. Sci. 12166, 356--374 (2020; Zbl 07614522) Full Text: DOI
Fritz, Peter Propositional quantification in bimodal S5. (English) Zbl 1475.03076 Erkenntnis 85, No. 2, 455-465 (2020). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{P. Fritz}, Erkenntnis 85, No. 2, 455--465 (2020; Zbl 1475.03076) Full Text: DOI
Kostrzycka, Zofia From intuitionism to Brouwer’s modal logic. (English) Zbl 1477.03053 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 343-358 (2020). MSC: 03B45 03B20 PDFBibTeX XMLCite \textit{Z. Kostrzycka}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 4, 343--358 (2020; Zbl 1477.03053) Full Text: DOI
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics. (English) Zbl 1476.03023 Stud. Log. 108, No. 5, 1087-1123 (2020). Reviewer: David Makinson (London) MSC: 03B45 PDFBibTeX XMLCite \textit{K. Mruczek-Nasieniewska} and \textit{M. Nasieniewski}, Stud. Log. 108, No. 5, 1087--1123 (2020; Zbl 1476.03023) Full Text: DOI
Punčochář, Vít A relevant logic of questions. (English) Zbl 1485.03054 J. Philos. Log. 49, No. 5, 905-939 (2020). MSC: 03B47 PDFBibTeX XMLCite \textit{V. Punčochář}, J. Philos. Log. 49, No. 5, 905--939 (2020; Zbl 1485.03054) Full Text: DOI
Øgaard, Tore Fjetland Farewell to suppression-freedom. (English) Zbl 1466.03003 Log. Univers. 14, No. 3, 297-330 (2020). Reviewer: Gemma Robles (León) MSC: 03A05 03B47 PDFBibTeX XMLCite \textit{T. F. Øgaard}, Log. Univers. 14, No. 3, 297--330 (2020; Zbl 1466.03003) Full Text: DOI
Confalonieri, Roberto; Kutz, Oliver Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention. (English) Zbl 1444.68178 Ann. Math. Artif. Intell. 88, No. 5-6, 479-516 (2020). MSC: 68T27 68T30 68U10 PDFBibTeX XMLCite \textit{R. Confalonieri} and \textit{O. Kutz}, Ann. Math. Artif. Intell. 88, No. 5--6, 479--516 (2020; Zbl 1444.68178) Full Text: DOI
Brauer, Ethan Relevance for the classical logician. (English) Zbl 1452.03063 Rev. Symb. Log. 13, No. 2, 436-457 (2020). Reviewer: Branislav Boričić (Beograd) MSC: 03B47 03A05 PDFBibTeX XMLCite \textit{E. Brauer}, Rev. Symb. Log. 13, No. 2, 436--457 (2020; Zbl 1452.03063) Full Text: DOI
Nurgalieva, Nuriya; del Rio, Lídia Inadequacy of modal logic in quantum settings. (English) Zbl 1486.81008 Selinger, Peter (ed.) et al., Proceedings of the 15th international conference on quantum physics and logic, QPL’18, Halifax, Canada, June 3–7, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 287, 267-297 (2019). MSC: 81P10 03G12 03B45 PDFBibTeX XMLCite \textit{N. Nurgalieva} and \textit{L. del Rio}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 287, 267--297 (2019; Zbl 1486.81008) Full Text: arXiv Link
Dunn, J. Michael Intuitive semantics for first-degree entailment and ‘coupled trees’. (English) Zbl 1469.03055 Omori, Hitoshi (ed.) et al., New essays on Belnap-Dunn logic. Cham: Springer. Synth. Libr. 418, 21-34 (2019). MSC: 03B47 03A05 PDFBibTeX XMLCite \textit{J. M. Dunn}, Synth. Libr. 418, 21--34 (2019; Zbl 1469.03055) Full Text: DOI
Bel’tyukov, Anatoliĭ Petrovich; Abbasi, Mohsin Manshad Logical analysis of emotions in text from natural language. (English) Zbl 1446.03063 Vestn. Udmurt. Univ., Mat. Mekh. Komp’yut. Nauki 29, No. 1, 106-116 (2019). MSC: 03B65 03B45 PDFBibTeX XMLCite \textit{A. P. Bel'tyukov} and \textit{M. M. Abbasi}, Vestn. Udmurt. Univ., Mat. Mekh. Komp'yut. Nauki 29, No. 1, 106--116 (2019; Zbl 1446.03063) Full Text: DOI MNR
Weiss, Yale Sextus Empiricus’ fourth conditional and containment logic. (English) Zbl 1427.03011 Hist. Philos. Log. 40, No. 4, 307-322 (2019). MSC: 03-03 01A20 03B05 03A05 PDFBibTeX XMLCite \textit{Y. Weiss}, Hist. Philos. Log. 40, No. 4, 307--322 (2019; Zbl 1427.03011) Full Text: DOI
Franchella, Miriam Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting. (English) Zbl 1427.03005 Hist. Philos. Log. 40, No. 2, 152-181 (2019). MSC: 03-03 01A60 03A05 PDFBibTeX XMLCite \textit{M. Franchella}, Hist. Philos. Log. 40, No. 2, 152--181 (2019; Zbl 1427.03005) Full Text: DOI Link
Ciuni, Roberto; Carrara, Massimiliano Semantical analysis of weak Kleene logics. (English) Zbl 1444.03087 J. Appl. Non-Class. Log. 29, No. 1, 1-36 (2019); correction ibid. 29, No. 1, I (2019). MSC: 03B50 PDFBibTeX XMLCite \textit{R. Ciuni} and \textit{M. Carrara}, J. Appl. Non-Class. Log. 29, No. 1, 1--36 (2019; Zbl 1444.03087) Full Text: DOI
Governatori, Guido Modal rules: extending defeasible logic with modal operators. (English) Zbl 1518.68361 Benzmüller, Christoph (ed.) et al., Rules and reasoning. Second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11092, 9-30 (2018). MSC: 68T27 03B45 PDFBibTeX XMLCite \textit{G. Governatori}, Lect. Notes Comput. Sci. 11092, 9--30 (2018; Zbl 1518.68361) Full Text: DOI
Pulcini, Gabriele; Varzi, Achille C. Paraconsistency in classical logic. (English) Zbl 1452.03077 Synthese 195, No. 12, 5485-5496 (2018). MSC: 03B53 PDFBibTeX XMLCite \textit{G. Pulcini} and \textit{A. C. Varzi}, Synthese 195, No. 12, 5485--5496 (2018; Zbl 1452.03077) Full Text: DOI
Cattaneo, Gianpiero Algebraic methods for rough approximation spaces by lattice interior-closure operations. (English) Zbl 1437.03150 Mani, A. (ed.) et al., Algebraic methods in general rough sets. Cham: Birkhäuser. Trends Math., 13-156 (2018). MSC: 03E72 03G10 03G25 06A15 06C15 06D30 68T37 PDFBibTeX XMLCite \textit{G. Cattaneo}, in: Algebraic methods in general rough sets. Cham: Birkhäuser. 13--156 (2018; Zbl 1437.03150) Full Text: DOI
Sandu, Gabriel [Hintikka, Jaakko] Short overview of the development of Hintikka’s work in logic. (English) Zbl 1437.03006 van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 1-18 (2018). MSC: 03-03 01A70 PDFBibTeX XMLCite \textit{G. Sandu}, Outst. Contrib. Log. 12, 1--18 (2018; Zbl 1437.03006) Full Text: DOI
Karpenko, Anastasia Decidability of some interpolation properties for weakly transitive modal logics. (English) Zbl 1429.03083 Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 171-183 (2018). MSC: 03B45 03B25 03C40 PDFBibTeX XMLCite \textit{A. Karpenko}, Outst. Contrib. Log. 15, 171--183 (2018; Zbl 1429.03083) Full Text: DOI
Tuboly, Adam Tamas The early formation of modal logic and its significance: a historical note on Quine, Carnap, and a bit of Church. (English) Zbl 1427.03010 Hist. Philos. Log. 39, No. 3, 289-304 (2018). MSC: 03-03 03B45 01A60 PDFBibTeX XMLCite \textit{A. T. Tuboly}, Hist. Philos. Log. 39, No. 3, 289--304 (2018; Zbl 1427.03010) Full Text: DOI
Corcoran, John; Sagüillo, José Miguel The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. (English) Zbl 1406.03005 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 405-424 (2018). MSC: 03-03 03A05 01A60 PDFBibTeX XMLCite \textit{J. Corcoran} and \textit{J. M. Sagüillo}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 405--424 (2018; Zbl 1406.03005) Full Text: DOI
Kuznets, Roman Multicomponent proof-theoretic method for proving interpolation properties. (English) Zbl 1522.03053 Ann. Pure Appl. Logic 169, No. 12, 1369-1418 (2018). MSC: 03B45 03C40 03F03 03F07 PDFBibTeX XMLCite \textit{R. Kuznets}, Ann. Pure Appl. Logic 169, No. 12, 1369--1418 (2018; Zbl 1522.03053) Full Text: DOI
Woods, Jack Emptying a paradox of ground. (English) Zbl 1436.03079 J. Philos. Log. 47, No. 4, 631-648 (2018). MSC: 03A05 PDFBibTeX XMLCite \textit{J. Woods}, J. Philos. Log. 47, No. 4, 631--648 (2018; Zbl 1436.03079) Full Text: DOI
Litak, Tadeusz; Visser, Albert Lewis meets Brouwer: constructive strict implication. (English) Zbl 1436.03137 Indag. Math., New Ser. 29, No. 1, 36-90 (2018). MSC: 03B45 03B20 03F30 PDFBibTeX XMLCite \textit{T. Litak} and \textit{A. Visser}, Indag. Math., New Ser. 29, No. 1, 36--90 (2018; Zbl 1436.03137) Full Text: DOI arXiv
Karpenko, Alexander S. Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions. (English) Zbl 1423.03070 Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1-2, 33-45 (2017). MSC: 03B50 03G25 PDFBibTeX XMLCite \textit{A. S. Karpenko}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1--2, 33--45 (2017; Zbl 1423.03070) Full Text: DOI
Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan When you must forget: beyond strong persistence when forgetting in answer set programming. (English) Zbl 1422.68022 Theory Pract. Log. Program. 17, No. 5-6, 837-854 (2017). MSC: 68N17 68Q25 PDFBibTeX XMLCite \textit{R. Gonçalves} et al., Theory Pract. Log. Program. 17, No. 5--6, 837--854 (2017; Zbl 1422.68022) Full Text: DOI arXiv
Fritz, Peter Logics for propositional contingentism. (English) Zbl 1373.03021 Rev. Symb. Log. 10, No. 2, 203-236 (2017). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 PDFBibTeX XMLCite \textit{P. Fritz}, Rev. Symb. Log. 10, No. 2, 203--236 (2017; Zbl 1373.03021) Full Text: DOI
Yamasaki, Sakiko; Sano, Katsuhiko Constructive embedding from extensions of logics of strict implication into modal logics. (English) Zbl 1429.03087 Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 223-251 (2016). MSC: 03B45 03B20 03F05 PDFBibTeX XMLCite \textit{S. Yamasaki} and \textit{K. Sano}, in: Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24--25, 2014. Berlin: Springer. 223--251 (2016; Zbl 1429.03087) Full Text: DOI
Davis, Martin; Sieg, Wilfried Conceptual confluence in 1936: Post and Turing. (English) Zbl 1400.01008 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 3-27 (2015). Reviewer: Guido Gherardi (Bologna) MSC: 01A60 03-03 03D03 03D10 20M05 PDFBibTeX XMLCite \textit{M. Davis} and \textit{W. Sieg}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 3--27 (2015; Zbl 1400.01008) Full Text: DOI
Mummert, Carl; Saadaoui, Alaeddine; Sovine, Sean The modal logic of reverse mathematics. (English) Zbl 1369.03102 Arch. Math. Logic 54, No. 3-4, 425-437 (2015). MSC: 03B30 03B45 PDFBibTeX XMLCite \textit{C. Mummert} et al., Arch. Math. Logic 54, No. 3--4, 425--437 (2015; Zbl 1369.03102) Full Text: DOI arXiv
Ferguson, Thomas Macaulay Logics of nonsense and Parry systems. (English) Zbl 1318.03036 J. Philos. Log. 44, No. 1, 65-80 (2015). MSC: 03B53 03A05 PDFBibTeX XMLCite \textit{T. M. Ferguson}, J. Philos. Log. 44, No. 1, 65--80 (2015; Zbl 1318.03036) Full Text: DOI
Ferguson, T. M. A computational interpretation of conceptivism. (English) Zbl 1398.03142 J. Appl. Non-Class. Log. 24, No. 4, 333-367 (2014). MSC: 03B60 03A05 PDFBibTeX XMLCite \textit{T. M. Ferguson}, J. Appl. Non-Class. Log. 24, No. 4, 333--367 (2014; Zbl 1398.03142) Full Text: DOI
Eklund, Patrik; Galán, M. Ángeles; Helgesson, Robert; Kortelainen, Jari Fuzzy terms. (English) Zbl 1334.03022 Fuzzy Sets Syst. 256, 211-235 (2014). MSC: 03B52 06F07 18C15 PDFBibTeX XMLCite \textit{P. Eklund} et al., Fuzzy Sets Syst. 256, 211--235 (2014; Zbl 1334.03022) Full Text: DOI
Martínez Vidal, Concha; Úbeda Rives, José Pedro Leon Henkin the reviewer. (English) Zbl 1331.01025 Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 93-133 (2014). MSC: 01A70 01A60 03-03 PDFBibTeX XMLCite \textit{C. Martínez Vidal} and \textit{J. P. Úbeda Rives}, in: The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer. 93--133 (2014; Zbl 1331.01025) Full Text: DOI
Wolter, Frank; Zakharyaschev, Michael On the Blok-Esakia theorem. (English) Zbl 1350.03022 Bezhanishvili, Guram (ed.), Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer (ISBN 978-94-017-8859-5/hbk; 978-94-017-8860-1/ebook). Outstanding Contributions to Logic 4, 99-118 (2014). MSC: 03B45 03B20 06D20 03B55 PDFBibTeX XMLCite \textit{F. Wolter} and \textit{M. Zakharyaschev}, Outst. Contrib. Log. 4, 99--118 (2014; Zbl 1350.03022) Full Text: DOI
Coniglio, Marcelo E.; Peron, Newton M. Dugundji’s theorem revisited. (English) Zbl 1330.03042 Log. Univers. 8, No. 3-4, 407-422 (2014). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{M. E. Coniglio} and \textit{N. M. Peron}, Log. Univers. 8, No. 3--4, 407--422 (2014; Zbl 1330.03042) Full Text: DOI
Mares, Edwin; Paoli, Francesco Logical consequence and the paradoxes. (English) Zbl 1302.03021 J. Philos. Log. 43, No. 2-3, 439-469 (2014). MSC: 03A05 03B47 PDFBibTeX XMLCite \textit{E. Mares} and \textit{F. Paoli}, J. Philos. Log. 43, No. 2--3, 439--469 (2014; Zbl 1302.03021) Full Text: DOI
Pfeifer, Niki Reasoning about uncertain conditionals. (English) Zbl 1359.03021 Stud. Log. 102, No. 4, 849-866 (2014). MSC: 03B48 03A05 PDFBibTeX XMLCite \textit{N. Pfeifer}, Stud. Log. 102, No. 4, 849--866 (2014; Zbl 1359.03021) Full Text: DOI
Humberstone, Lloyd Zolin and Pizzi: defining necessity from noncontingency. (English) Zbl 1303.03023 Erkenntnis 78, No. 6, 1275-1302 (2013). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{L. Humberstone}, Erkenntnis 78, No. 6, 1275--1302 (2013; Zbl 1303.03023) Full Text: DOI
Irvine, Andrew David S7. (English) Zbl 1284.03151 J. Appl. Log. 11, No. 4, 523-529 (2013). MSC: 03B45 PDFBibTeX XMLCite \textit{A. D. Irvine}, J. Appl. Log. 11, No. 4, 523--529 (2013; Zbl 1284.03151) Full Text: DOI
Hakli, Raul; Negri, Sara Does the deduction theorem fail for modal logic? (English) Zbl 1275.03091 Synthese 187, No. 3, 849-867 (2012). MSC: 03B45 PDFBibTeX XMLCite \textit{R. Hakli} and \textit{S. Negri}, Synthese 187, No. 3, 849--867 (2012; Zbl 1275.03091) Full Text: DOI
Ballarin, Roberta Quine on intensional entities: modality and quantification, truth and satisfaction. (English) Zbl 1264.03011 J. Appl. Log. 10, No. 3, 238-249 (2012). MSC: 03A05 01A60 03-03 03B45 03B65 PDFBibTeX XMLCite \textit{R. Ballarin}, J. Appl. Log. 10, No. 3, 238--249 (2012; Zbl 1264.03011) Full Text: DOI
Meadows, Toby Revising Carnap’s semantic conception of modality. (English) Zbl 1280.03024 Stud. Log. 100, No. 3, 497-515 (2012). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{T. Meadows}, Stud. Log. 100, No. 3, 497--515 (2012; Zbl 1280.03024) Full Text: DOI
McKubre-Jordens, Maarten; Weber, Zach Real analysis in paraconsistent logic. (English) Zbl 1270.03046 J. Philos. Log. 41, No. 5, 901-922 (2012). Reviewer: Gemma Robles (León) MSC: 03B53 26A03 PDFBibTeX XMLCite \textit{M. McKubre-Jordens} and \textit{Z. Weber}, J. Philos. Log. 41, No. 5, 901--922 (2012; Zbl 1270.03046) Full Text: DOI
Bonnay, Denis; Westerståhl, Dag Consequence mining. Constants versus consequence relations. (English) Zbl 1272.03009 J. Philos. Log. 41, No. 4, 671-709 (2012). MSC: 03A05 03B22 PDFBibTeX XMLCite \textit{D. Bonnay} and \textit{D. Westerståhl}, J. Philos. Log. 41, No. 4, 671--709 (2012; Zbl 1272.03009) Full Text: DOI
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard On the ternary relation and conditionality. (English) Zbl 1260.03049 J. Philos. Log. 41, No. 3, 595-612 (2012). Reviewer: Gemma Robles (León) MSC: 03B47 03A05 03B45 03B53 PDFBibTeX XMLCite \textit{J. Beall} et al., J. Philos. Log. 41, No. 3, 595--612 (2012; Zbl 1260.03049) Full Text: DOI
Indrzejczak, Andrzej Possible worlds in use. (English) Zbl 1248.03034 Stud. Log. 99, No. 1-3, 229-248 (2011). MSC: 03B45 03A05 03G25 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Stud. Log. 99, No. 1--3, 229--248 (2011; Zbl 1248.03034) Full Text: DOI
Morgenstern, Leora; McIlraith, Sheila A. John McCarthy’s legacy. (English) Zbl 1216.68017 Artif. Intell. 175, No. 1, 1-24 (2011). MSC: 68-03 01A60 68T27 68T30 PDFBibTeX XMLCite \textit{L. Morgenstern} and \textit{S. A. McIlraith}, Artif. Intell. 175, No. 1, 1--24 (2011; Zbl 1216.68017) Full Text: DOI
Mizraji, Eduardo; Lin, Juan Logic in a dynamic brain. (English) Zbl 1213.92006 Bull. Math. Biol. 73, No. 2, 373-397 (2011). MSC: 92C20 92B20 91E10 PDFBibTeX XMLCite \textit{E. Mizraji} and \textit{J. Lin}, Bull. Math. Biol. 73, No. 2, 373--397 (2011; Zbl 1213.92006) Full Text: DOI
Carnielli, Walter The single-minded pursuit of consistency and its weakness. (English) Zbl 1256.03007 Stud. Log. 97, No. 1, 81-100 (2011). MSC: 03A05 03B45 03B53 PDFBibTeX XMLCite \textit{W. Carnielli}, Stud. Log. 97, No. 1, 81--100 (2011; Zbl 1256.03007) Full Text: DOI
Sheremet, Mikhail; Wolter, Frank; Zakharyaschev, Michael A modal logic framework for reasoning about comparative distances and topology. (English) Zbl 1225.03021 Ann. Pure Appl. Logic 161, No. 4, 534-559 (2010). MSC: 03B45 03B70 68T27 68T30 PDFBibTeX XMLCite \textit{M. Sheremet} et al., Ann. Pure Appl. Logic 161, No. 4, 534--559 (2010; Zbl 1225.03021) Full Text: DOI
Urquhart, Alasdair Anderson and Belnap’s invitation to sin. (English) Zbl 1207.03028 J. Philos. Log. 39, No. 4, 453-472 (2010). MSC: 03B45 01A60 03-03 PDFBibTeX XMLCite \textit{A. Urquhart}, J. Philos. Log. 39, No. 4, 453--472 (2010; Zbl 1207.03028) Full Text: DOI
Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina Solving the $100 modal logic challenge. (English) Zbl 1161.03302 J. Appl. Log. 7, No. 1, 113-130 (2009). MSC: 03B35 03B45 68T15 PDFBibTeX XMLCite \textit{F. Rabe} et al., J. Appl. Log. 7, No. 1, 113--130 (2009; Zbl 1161.03302) Full Text: DOI
Majkić, Zoran Autoreferential semantics for many-valued modal logics. (English) Zbl 1187.03019 J. Appl. Non-Class. Log. 18, No. 1, 79-125 (2008). MSC: 03B45 03B50 03B53 03G25 PDFBibTeX XMLCite \textit{Z. Majkić}, J. Appl. Non-Class. Log. 18, No. 1, 79--125 (2008; Zbl 1187.03019) Full Text: DOI
Eiter, Thomas; Wang, Kewen Semantic forgetting in answer set programming. (English) Zbl 1184.68159 Artif. Intell. 172, No. 14, 1644-1672 (2008). MSC: 68N17 68Q25 68T30 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{K. Wang}, Artif. Intell. 172, No. 14, 1644--1672 (2008; Zbl 1184.68159) Full Text: DOI Link
Artemov, Sergei; Nogina, Elena Topological semantics of justification logic. (English) Zbl 1138.03015 Hirsch, Edward A. (ed.) et al., Computer science – theory and applications. Third international computer science symposium in Russia, CSR 2008 Moscow, Russia, June 7–12, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79708-1/pbk). Lecture Notes in Computer Science 5010, 30-39 (2008). MSC: 03B42 03B45 03F45 PDFBibTeX XMLCite \textit{S. Artemov} and \textit{E. Nogina}, Lect. Notes Comput. Sci. 5010, 30--39 (2008; Zbl 1138.03015) Full Text: DOI
Kyburg, Henry E. jun.; Teng, Choh Man; Wheeler, Gregory Conditionals and consequences. (English) Zbl 1138.03023 J. Appl. Log. 5, No. 4, 638-650 (2007). MSC: 03B48 03B60 PDFBibTeX XMLCite \textit{H. E. Kyburg jun.} et al., J. Appl. Log. 5, No. 4, 638--650 (2007; Zbl 1138.03023) Full Text: DOI
Humberstone, Lloyd Modal logic for other-world agnostics: Neutrality and Halldén incompleteness. (English) Zbl 1113.03009 J. Philos. Log. 36, No. 1, 1-32 (2007). Reviewer: Osamu Sonobe (Follonica) MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{L. Humberstone}, J. Philos. Log. 36, No. 1, 1--32 (2007; Zbl 1113.03009) Full Text: DOI
Goldblatt, Robert Mathematical modal logic: A view of its evolution. (English) Zbl 1041.03015 J. Appl. Log. 1, No. 5-6, 309-392 (2003). Reviewer: Valentin F. Goranko (Johannesburg) MSC: 03B45 03-03 01A60 03-02 PDFBibTeX XMLCite \textit{R. Goldblatt}, J. Appl. Log. 1, No. 5--6, 309--392 (2003; Zbl 1041.03015) Full Text: DOI
Astroh, Michael; Grattan-Guinness, Ivor; Read, Stephen A survey of the life of Hugh MacColl (1837–1909). (English) Zbl 1024.01023 Hist. Philos. Log. 22, No. 2, 81-98 (2001). MSC: 01A70 01A55 03-03 PDFBibTeX XMLCite \textit{M. Astroh} et al., Hist. Philos. Log. 22, No. 2, 81--98 (2001; Zbl 1024.01023) Full Text: DOI
D’Ottaviano, Itala M. Loffredo; de A. Feitosa, Hércules Paraconsistent logics and translations. (English) Zbl 0969.03042 Synthese 125, No. 1-2, 77-95 (2000). MSC: 03B53 03B22 03B50 03B05 03G30 03B20 PDFBibTeX XMLCite \textit{I. M. L. D'Ottaviano} and \textit{H. de A. Feitosa}, Synthese 125, No. 1--2, 77--95 (2000; Zbl 0969.03042) Full Text: DOI
Westmoreland, Michael; Krone, Joan; Schumacher, Benjamin Analysis of billiard ball computation using phase space logics. (English) Zbl 1013.94043 Physica D 120, No. 1-2, 236-252 (1998). MSC: 94C10 03B50 81P99 PDFBibTeX XMLCite \textit{M. Westmoreland} et al., Physica D 120, No. 1--2, 236--252 (1998; Zbl 1013.94043) Full Text: DOI
Patterson, Anna Bisimulation and propositional intuitionistic logic. (English) Zbl 1512.03027 Mazurkiewicz, Antoni (ed.) et al., CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1243, 347-360 (1997). MSC: 03B20 68Q85 PDFBibTeX XMLCite \textit{A. Patterson}, Lect. Notes Comput. Sci. 1243, 347--360 (1997; Zbl 1512.03027) Full Text: DOI
Kremer, Philip Propositional quantification in the topological semantics for \(\mathbf S4\). (English) Zbl 0949.03020 Notre Dame J. Formal Logic 38, No. 2, 295-313 (1997). MSC: 03B45 PDFBibTeX XMLCite \textit{P. Kremer}, Notre Dame J. Formal Logic 38, No. 2, 295--313 (1997; Zbl 0949.03020) Full Text: DOI
Chellas, Brian F.; Segerberg, Krister Modal logics in the vicinity of S1. (English) Zbl 0859.03011 Notre Dame J. Formal Logic 37, No. 1, 1-24 (1996). Reviewer: U.Scheffler (Berlin) MSC: 03B45 PDFBibTeX XMLCite \textit{B. F. Chellas} and \textit{K. Segerberg}, Notre Dame J. Formal Logic 37, No. 1, 1--24 (1996; Zbl 0859.03011) Full Text: DOI
Westmoreland, Michael D.; Schumacher, Benjamin W.; Bailey, Steven C. Three-valued derived logics for classical phase spaces. (English) Zbl 0846.03029 Int. J. Theor. Phys. 35, No. 1, 31-62 (1996); erratum ibid. 36, No. 2, 569 (1997). Reviewer: R.Wallace Garden (Thames) MSC: 03G12 81P10 03B50 03B80 PDFBibTeX XMLCite \textit{M. D. Westmoreland} et al., Int. J. Theor. Phys. 35, No. 1, 31--62 (1996; Zbl 0846.03029) Full Text: DOI
Johnson, Ralph H. The need for a dialectical tier in arguments. (English) Zbl 1422.03008 Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 349-360 (1996). MSC: 03A05 PDFBibTeX XMLCite \textit{R. H. Johnson}, Lect. Notes Comput. Sci. 1085, 349--360 (1996; Zbl 1422.03008) Full Text: DOI
Liau, Churn-Jung; Lin, Bertrand I-Peng Possibilistic reasoning – a mini-survey and uniform semantics. (English) Zbl 0907.68180 Artif. Intell. 88, No. 1-2, 163-193 (1996). MSC: 68T27 68T37 PDFBibTeX XMLCite \textit{C.-J. Liau} and \textit{B. I P. Lin}, Artif. Intell. 88, No. 1--2, 163--193 (1996; Zbl 0907.68180) Full Text: DOI
Cerrato, Claudio Natural deduction based upon strict implication for normal modal logics. (English) Zbl 0831.03006 Notre Dame J. Formal Logic 35, No. 4, 471-495 (1994). MSC: 03B45 PDFBibTeX XMLCite \textit{C. Cerrato}, Notre Dame J. Formal Logic 35, No. 4, 471--495 (1994; Zbl 0831.03006) Full Text: DOI
Liau, Churn Jung; Lin, Bertrand I-Peng Proof methods for reasoning about possibility and necessity. (English) Zbl 0786.68084 Int. J. Approx. Reasoning 9, No. 4, 327-364 (1993). MSC: 68T15 03B52 03B45 PDFBibTeX XMLCite \textit{C. J. Liau} and \textit{B. I P. Lin}, Int. J. Approx. Reasoning 9, No. 4, 327--364 (1993; Zbl 0786.68084) Full Text: DOI
Masini, Andrea 2-sequent calculus: A proof theory of modalities. (English) Zbl 0819.03045 Ann. Pure Appl. Logic 58, No. 3, 229-246 (1992). MSC: 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{A. Masini}, Ann. Pure Appl. Logic 58, No. 3, 229--246 (1992; Zbl 0819.03045) Full Text: DOI
Goodman, I. R. Evaluation of combinations of conditioned information: A history. (English) Zbl 0729.60003 Inf. Sci. 57/58, Spec. Iss., 79-110 (1991). MSC: 60A99 01A60 60-03 94-03 PDFBibTeX XMLCite \textit{I. R. Goodman}, Inf. Sci. 57/58, 79--110 (1991; Zbl 0729.60003) Full Text: DOI
Calabrese, Philip An algebraic synthesis of the foundations of logic and probability. (English) Zbl 0634.03018 Inf. Sci. 42, 187-237 (1987). Reviewer: H.E.Kyburg MSC: 03B48 60A05 03B45 PDFBibTeX XMLCite \textit{P. Calabrese}, Inf. Sci. 42, 187--237 (1987; Zbl 0634.03018) Full Text: DOI
Czelakowski, Janusz; Malinowski, Grzegorz Key notions of Tarski’s methodology of deductive systems. (English) Zbl 0615.03014 Stud. Log. 44, 321-351 (1985). MSC: 03B99 03-03 01A60 03A05 PDFBibTeX XMLCite \textit{J. Czelakowski} and \textit{G. Malinowski}, Stud. Log. 44, 321--351 (1985; Zbl 0615.03014) Full Text: DOI
Meyer, Robert K.; Giambrone, Steve; Brady, Ross T. Where gamma fails. (English) Zbl 0586.03016 Stud. Log. 43, 247-256 (1984). Reviewer: C.F.Kielkopf MSC: 03B45 03B50 PDFBibTeX XMLCite \textit{R. K. Meyer} et al., Stud. Log. 43, 247--256 (1984; Zbl 0586.03016) Full Text: DOI
Kalman, J. A. Condensed detachment as a rule of inference. (English) Zbl 0568.03010 Stud. Log. 42, 443-451 (1983). MSC: 03B35 03-03 01A60 PDFBibTeX XMLCite \textit{J. A. Kalman}, Stud. Log. 42, 443--451 (1983; Zbl 0568.03010) Full Text: DOI
Kalman, J. A. The two-property and condensed detachment. (English) Zbl 0548.03005 Stud. Log. 41, 173-179 (1982). MSC: 03B35 03B60 PDFBibTeX XMLCite \textit{J. A. Kalman}, Stud. Log. 41, 173--179 (1982; Zbl 0548.03005) Full Text: DOI
Routley, Richard The choice of logical foundations: Non-classical choices and the ultralogical choice. (English) Zbl 0437.03002 Stud. Log. 39, 77-98 (1980). MSC: 03A05 62C05 PDFBibTeX XMLCite \textit{R. Routley}, Stud. Log. 39, 77--98 (1980; Zbl 0437.03002) Full Text: DOI
Meyer, Robert K. New axiomatics for relevant logics. I. (English) Zbl 0278.02025 J. philos. Logic 3, 53-86 (1974). MSC: 03B99 PDFBibTeX XMLCite \textit{R. K. Meyer}, J. Philos. Log. 3, 53--86 (1974; Zbl 0278.02025) Full Text: DOI
Kotas, Jerzy On logical systems with implications and theories of algebras. (English) Zbl 0274.02032 Stud. Log. 31, 49-72 (1973). MSC: 03G15 03G25 03B99 PDFBibTeX XMLCite \textit{J. Kotas}, Stud. Log. 31, 49--72 (1973; Zbl 0274.02032) Full Text: DOI
Wasilewska, Anita A formalization of the modal propositional S4 calculus. (English) Zbl 0286.02027 Stud. Log. 27, 133-149 (1971). MSC: 03B45 03-04 68T15 PDFBibTeX XMLCite \textit{A. Wasilewska}, Stud. Log. 27, 133--149 (1971; Zbl 0286.02027) Full Text: DOI
Suszko, Roman Identity connective and modality. (English) Zbl 0263.02015 Stud. Log. 27, 7-41 (1971). MSC: 03B45 03B99 PDFBibTeX XMLCite \textit{R. Suszko}, Stud. Log. 27, 7--41 (1971; Zbl 0263.02015) Full Text: DOI
Feys, Robert Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\). (French) Zbl 0172.29103 Synthese 12, 182-196 (1969). Reviewer: Konrad Schultz (Chemnitz) MSC: 03-XX PDFBibTeX XMLCite \textit{R. Feys}, Synthese 12, 182--196 (1969; Zbl 0172.29103) Full Text: DOI
Waligorski, Stanislaw Implications in Boolean algebras with a two-valued closure operator. (English) Zbl 0315.02026 Stud. Log. 23, 25-34 (1968). MSC: 03B45 03G05 PDFBibTeX XMLCite \textit{S. Waligorski}, Stud. Log. 23, 25--34 (1968; Zbl 0315.02026) Full Text: DOI