Soysal, Zeynep An algorithmic impossible-worlds model of belief and knowledge. (English) Zbl 07861983 Rev. Symb. Log. 17, No. 2, 586-610 (2024). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Katz, Mikhail G.; Kuhlemann, Karl; Sherry, David; Ugaglia, Monica Leibniz on bodies and infinities: rerum natura and mathematical fictions. (English) Zbl 07827527 Rev. Symb. Log. 17, No. 1, 36-66 (2024). Reviewer: Viktor Blåsjö (Utrecht) MSC: 01A45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Leitgeb, Hannes Ramsification and semantic indeterminacy. (English) Zbl 1539.00030 Rev. Symb. Log. 16, No. 3, 900-950 (2023). Reviewer: Firdous Ahmad Mala (Srinagar) MSC: 00A30 00A35 03A05 03A10 × Cite Format Result Cite Review PDF Full Text: DOI
Elkind, Landon D. C.; Zach, Richard The genealogy of ‘\(\boldsymbol{\vee}\)’. (English) Zbl 07740300 Rev. Symb. Log. 16, No. 3, 862-899 (2023). MSC: 03-03 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Badura, Christopher; Wansing, Heinrich Stit-logic for imagination episodes with voluntary input. (English) Zbl 07740299 Rev. Symb. Log. 16, No. 3, 813-861 (2023). MSC: 03B45 03B60 03B80 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Bonnay, Denis; Westerståhl, Dag Carnap’s problem for modal logic. (English) Zbl 1537.03012 Rev. Symb. Log. 16, No. 2, 578-602 (2023). MSC: 03B45 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Rad, Soroush Rafiee Probabilistic entailment on first order languages and reasoning with inconsistencies. (English) Zbl 1518.03002 Rev. Symb. Log. 16, No. 2, 351-368 (2023). Reviewer: Jürgen Landes (München) MSC: 03B42 03B48 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Meehan, Alexander; Zhang, Snow Kolmogorov conditionalizers can be Dutch booked (if and only if they are evidentially uncertain). (English) Zbl 1530.60001 Rev. Symb. Log. 15, No. 3, 722-757 (2022). MSC: 60A05 62C10 91B06 × Cite Format Result Cite Review PDF Full Text: DOI
Mierzewski, Krzysztof Probabilistic stability, AGM revision operators and maximum entropy. (English) Zbl 1532.03019 Rev. Symb. Log. 15, No. 3, 553-590 (2022). MSC: 03B42 68T27 60A05 94A17 × Cite Format Result Cite Review PDF Full Text: DOI
Rott, Hans Difference-making conditionals and the relevant Ramsey test. (English) Zbl 1529.03137 Rev. Symb. Log. 15, No. 1, 133-164 (2022). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Lampert, Fabio The logic of sequence frames. (English) Zbl 1508.03053 Rev. Symb. Log. 15, No. 1, 101-132 (2022). Reviewer: Xavier Parent (Vienna) MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Sterkenburg, Tom F.; de Heide, Rianne On the truth-convergence of open-minded Bayesianism. (English) Zbl 1482.62023 Rev. Symb. Log. 15, No. 1, 64-100 (2022). MSC: 62A01 × Cite Format Result Cite Review PDF Full Text: DOI
Özgün, Aybüke; Berto, Francesco Dynamic hyperintensional belief revision. (English) Zbl 1484.03027 Rev. Symb. Log. 14, No. 3, 766-811 (2021); erratum ibid. 14, No. 4, 1088 (2021). Reviewer: David Makinson (London) MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Lampert, Timm; Säbel, Markus Wittgenstein’s elimination of identity for quantifier-free logic. (English) Zbl 1483.03001 Rev. Symb. Log. 14, No. 1, 1-21 (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-03 03A05 03B10 03B60 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Bjorndahl, Adam; Özgün, Aybüke Logic and topology for knowledge, knowability, and belief. (English) Zbl 1473.03010 Rev. Symb. Log. 13, No. 4, 748-775 (2020). Reviewer: Éric Martin (Sydney) MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lorenat, Jemma Certain modern ideas and methods: “geometric reality” in the mathematics of Charlotte Angas Scott. (English) Zbl 1486.01047 Rev. Symb. Log. 13, No. 4, 681-719 (2020). MSC: 01A55 01A60 51-03 × Cite Format Result Cite Review PDF Full Text: DOI
Flaminio, Tommaso Three characterizations of strict coherence on infinite-valued events. (English) Zbl 1485.03058 Rev. Symb. Log. 13, No. 3, 593-610 (2020). MSC: 03B50 03B48 60A05 06D35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
McEldowney, Paul Anh On Morita equivalence and interpretability. (English) Zbl 1444.03004 Rev. Symb. Log. 13, No. 2, 388-415 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03A10 03F25 00A30 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N. Mechanizing Principia logico-metaphysica in functional type-theory. (English) Zbl 1484.03020 Rev. Symb. Log. 13, No. 1, 206-218 (2020). MSC: 03B35 03A05 03B38 03B45 68V15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Malink, Marko; Vasudevan, Anubav The peripatetic program in categorical logic: Leibniz on propositional terms. (English) Zbl 1452.03014 Rev. Symb. Log. 13, No. 1, 141-205 (2020). Reviewer: Volker Peckhaus (Paderborn) MSC: 03A05 03-03 01A20 01A45 03B05 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Girard, Patrick; Weber, Zach Modal logic without contraction in a metatheory without contraction. (English) Zbl 1443.03014 Rev. Symb. Log. 12, No. 4, 685-701 (2019). Reviewer: Alex Citkin (Warren) MSC: 03B47 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Yi, Byeong-Uk Two syllogisms in the Mozi: Chinese logic and language. (English) Zbl 1441.01003 Rev. Symb. Log. 12, No. 3, 589-606 (2019). Reviewer: Andrea Bréard (Orsay) MSC: 01A25 03-03 03A05 03B60 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Flocke, Vera Carnap’s defense of impredicative definitions. (English) Zbl 1411.00028 Rev. Symb. Log. 12, No. 2, 372-404 (2019). Reviewer: Roman Murawski (Poznań) MSC: 00A30 01A60 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Das, Nilanjan Accuracy and ur-prior conditionalization. (English) Zbl 1532.03005 Rev. Symb. Log. 12, No. 1, 62-96 (2019). MSC: 03A05 03B42 62A01 × Cite Format Result Cite Review PDF Full Text: DOI
Rescorla, Michael A Dutch book theorem and converse Dutch book theorem for Kolmogorov conditionalization. (English) Zbl 1477.60010 Rev. Symb. Log. 11, No. 4, 705-735 (2018). MSC: 60A05 03A10 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Schirn, Matthias The semantics of value-range names and Frege’s proof of referentiality. (English) Zbl 1506.03041 Rev. Symb. Log. 11, No. 2, 224-278 (2018). MSC: 03A05 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Gyenis, Zalán; Rédei, Miklós General properties of Bayesian learning as statistical inference determined by conditional expectations. (English) Zbl 1417.03113 Rev. Symb. Log. 10, No. 4, 719-755 (2017). MSC: 03A10 62F15 60A05 × Cite Format Result Cite Review PDF Full Text: DOI
Jacinto, Bruno Strongly Millian second-order modal logics. (English) Zbl 1421.03009 Rev. Symb. Log. 10, No. 3, 397-454 (2017). MSC: 03B45 03B15 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
De Toffoli, Silvia ‘Chasing’ the diagram – the use of visualizations in algebraic reasoning. (English) Zbl 1417.00070 Rev. Symb. Log. 10, No. 1, 158-186 (2017). MSC: 00A30 03A05 18A15 × Cite Format Result Cite Review PDF Full Text: DOI
Weiss, Max Logic in the Tractatus. (English) Zbl 1417.03106 Rev. Symb. Log. 10, No. 1, 1-50 (2017). MSC: 03A05 03C80 03C70 03D70 01A60 03E47 03D80 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Dicher, Bogdan Weak disharmony: some lessons for proof-theoretic semantics. (English) Zbl 1391.03040 Rev. Symb. Log. 9, No. 3, 583-602 (2016). MSC: 03F07 03B47 03F52 × Cite Format Result Cite Review PDF Full Text: DOI
Roche, William Evidential support, transitivity, and screening-off. (English) Zbl 1375.03013 Rev. Symb. Log. 8, No. 4, 785-806 (2015). MSC: 03A10 60A99 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Fischer, Martin; Horsten, Leon The expressive power of truth. (English) Zbl 1382.03014 Rev. Symb. Log. 8, No. 2, 345-369 (2015). MSC: 03A05 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Mares, Edwin Belief revision, probabilism, and logic choice. (English) Zbl 1331.03022 Rev. Symb. Log. 7, No. 4, 647-670 (2014). Reviewer: David Makinson (London) MSC: 03B42 03B53 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Schippers, Michael Structural properties of qualitative and quantitative accounts to coherence. (English) Zbl 1339.03012 Rev. Symb. Log. 7, No. 3, 579-598 (2014). MSC: 03A10 03B48 60A05 × Cite Format Result Cite Review PDF Full Text: DOI
Schippers, Michael Incoherence and inconsistency. (English) Zbl 1339.03011 Rev. Symb. Log. 7, No. 3, 511-528 (2014). MSC: 03A10 03B48 60A05 × Cite Format Result Cite Review PDF Full Text: DOI
Walsh, Sean Logicism, interpretability, and knowledge of arithmetic. (English) Zbl 1345.03013 Rev. Symb. Log. 7, No. 1, 84-119 (2014). MSC: 03A05 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Schindler, Thomas Axioms for grounded truth. (English) Zbl 1329.03024 Rev. Symb. Log. 7, No. 1, 73-83 (2014). MSC: 03A05 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Leigh, Graham E.; Nicolai, Carlo Axiomatic truth, syntax and metatheoretic reasoning. (English) Zbl 1350.03010 Rev. Symb. Log. 6, No. 4, 613-636 (2013). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Walters, Lee; Williams, J. Robert G. An argument for conjunction conditionalization. (English) Zbl 1315.03011 Rev. Symb. Log. 6, No. 4, 573-588 (2013). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Hansson, Sven Ove Outcome level analysis of belief contraction. (English) Zbl 1272.03022 Rev. Symb. Log. 6, No. 2, 183-204 (2013). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Schiemer, Georg Carnap on extremal axioms, “completeness of the models,” and categoricity. (English) Zbl 1261.03009 Rev. Symb. Log. 5, No. 4, 613-641 (2012). MSC: 03-03 01A60 03A10 × Cite Format Result Cite Review PDF Full Text: DOI
Rogers, Brian; Wehmeier, Kai F. Tractarian first-order logic: identity and the N-operator. (English) Zbl 1261.03049 Rev. Symb. Log. 5, No. 4, 538-573 (2012). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Leitgeb, Hannes A probabilistic semantics for counterfactuals. Part B. (English) Zbl 1253.03010 Rev. Symb. Log. 5, No. 1, 85-121 (2012). MSC: 03A05 03A10 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Fine, Kit The pure logic of ground. (English) Zbl 1250.03010 Rev. Symb. Log. 5, No. 1, 1-25 (2012). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Klev, Ansten Dedekind and Hilbert on the foundations of the deductive sciences. (English) Zbl 1246.03009 Rev. Symb. Log. 4, No. 4, 645-681 (2011). Reviewer: Jim Mackenzie (Sydney) MSC: 03-03 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Fischer, Martin Minimal truth and interpretability. (English) Zbl 1188.03003 Rev. Symb. Log. 2, No. 4, 799-815 (2009). Reviewer: Branislav Boričić (Beograd) MSC: 03A05 03F30 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Schulz, Moritz A note on two theorems by Adams and McGee. (English) Zbl 1180.03009 Rev. Symb. Log. 2, No. 3, 509-516 (2009). MSC: 03A05 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Gómez-Torrente, Mario Rereading Tarski on logical consequence. (English) Zbl 1186.03010 Rev. Symb. Log. 2, No. 2, 249-297 (2009). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 03-03 03B22 × Cite Format Result Cite Review PDF Full Text: DOI
Fara, Delia Graff Relative-sameness counterpart theory. (English) Zbl 1204.03006 Rev. Symb. Log. 1, No. 2, 167-189 (2008). MSC: 03A05 03B45 × Cite Format Result Cite Review PDF Full Text: DOI