Yang, Eunsuk Substructural nuclear (image-based) logics and operational Kripke-style semantics. (English) Zbl 07905643 Stud. Log. 112, No. 4, 805-833 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Rott, Hans Difference-making conditionals and connexivity. (English) Zbl 07830174 Stud. Log. 112, No. 1-2, 405-458 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Belikov, Alex A simple way to overcome hyperconnexivity. (English) Zbl 07830164 Stud. Log. 112, No. 1-2, 69-94 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Xu, Ming FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3. (English) Zbl 07767286 Stud. Log. 111, No. 6, 899-946 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Farahmand Parsa, Amir; Ghari, Meghdad On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs. (English) Zbl 07725403 Stud. Log. 111, No. 4, 573-613 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Gheorghiu, Alexander V.; Pym, David J. Semantical analysis of the logic of bunched implications. (English) Zbl 07725402 Stud. Log. 111, No. 4, 525-571 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Yang, Eunsuk Birkhoff’s and Mal’cev’s theorems for implicational tonoid logics. (English) Zbl 07703392 Stud. Log. 111, No. 3, 501-519 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Ma, Minghui; Li, Guiying Intuitionistic propositional logic with Galois negations. (English) Zbl 07678788 Stud. Log. 111, No. 1, 21-56 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Tedder, Andrew Kapsner complementation: an algebraic take on Kapsner strong logics. (English) Zbl 07677360 Stud. Log. 111, No. 2, 321-352 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Ma, Minghui; Chen, Qian Finite model property in weakly transitive tense logics. (English) Zbl 07677357 Stud. Log. 111, No. 2, 217-250 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Bezhanishvili, Nick; Moraschini, Tommaso Hereditarily structurally complete intermediate logics: Citkin’s theorem via duality. (English) Zbl 07677355 Stud. Log. 111, No. 2, 147-186 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Iemhoff, Rosalie The G4i analogue of a G3i sequent calculus. (English) Zbl 07625362 Stud. Log. 110, No. 6, 1493-1506 (2022). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Czelakowski, Janusz; Olszewski, Adam Logics of order and related notions. (English) Zbl 07625360 Stud. Log. 110, No. 6, 1417-1464 (2022). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Tesi, Matteo On the proof theory of infinitary modal logic. (English) Zbl 07625358 Stud. Log. 110, No. 6, 1349-1380 (2022). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Svyatlovskiy, Mikhail Modal companions of \(K4^+\). (English) Zbl 07595961 Stud. Log. 110, No. 5, 1327-1347 (2022). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Gorbunov, Igor; Shkatov, Dmitry On independent axiomatizability of quasi-normal modal logics. (English) Zbl 07595956 Stud. Log. 110, No. 5, 1189-1217 (2022). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Bozdag, Sena A semantics for hyperintensional belief revision based on information bases. (English) Zbl 07535455 Stud. Log. 110, No. 3, 679-716 (2022). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI OA License
Hansson, Sven Ove A characterization of probability-based dichotomous belief revision. (English) Zbl 1507.03072 Stud. Log. 110, No. 2, 511-543 (2022). Reviewer: David Makinson (London) MSC: 03B42 03B48 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Inoué, Takao On Blass translation for Leśniewski’s propositional ontology and modal logics. (English) Zbl 1507.03079 Stud. Log. 110, No. 1, 265-289 (2022). Reviewer: Xavier Parent (Vienna) MSC: 03B45 03B20 03F45 03B44 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Tarafder, Sourav; Venturi, Giorgio ZF between classicality and non-classicality. (English) Zbl 07490471 Stud. Log. 110, No. 1, 189-218 (2022). MSC: 03E40 03E35 03B53 × Cite Format Result Cite Review PDF Full Text: DOI
Kurahashi, Taishi On inclusions between quantified provability logics. (English) Zbl 07490470 Stud. Log. 110, No. 1, 165-188 (2022). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fussner, Wesley Poset products as relational models. (English) Zbl 07490468 Stud. Log. 110, No. 1, 95-120 (2022). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shi, Chenwei; Sun, Yang Logic of convex order. (English) Zbl 1539.03107 Stud. Log. 109, No. 5, 1019-1047 (2021). MSC: 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Brogi, Cosimo Perini Curry-Howard-Lambek correspondence for intuitionistic belief. (English) Zbl 1539.03076 Stud. Log. 109, No. 6, 1441-1461 (2021). MSC: 03B45 03B20 03B40 03B42 18A15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Kamide, Norihiro Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi. (English) Zbl 1539.03092 Stud. Log. 109, No. 6, 1241-1271 (2021). MSC: 03B50 03G10 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Xu, Ming Transitive logics of finite width with respect to proper-successor-equivalence. (English) Zbl 1539.03086 Stud. Log. 109, No. 6, 1177-1200 (2021). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Tesi, Matteo Labelled sequent calculi for Lewis’ non-normal propositional modal logics. (English) Zbl 07424396 Stud. Log. 109, No. 4, 725-757 (2021). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Jockwich Martinez, S.; Venturi, G. Non-classical models of \(\mathsf{ZF}\). (English) Zbl 07383329 Stud. Log. 109, No. 3, 509-537 (2021). MSC: 03E40 06B20 06E75 03B53 × Cite Format Result Cite Review PDF Full Text: DOI
Borg, AnneMarie; Straßer, Christian; Arieli, Ofer A generalized proof-theoretic approach to logical argumentation based on hypersequents. (English) Zbl 1535.03263 Stud. Log. 109, No. 1, 167-238 (2021). MSC: 03F03 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Drobyshevich, Sergey A general framework for FDE-based modal logics. (English) Zbl 1484.03034 Stud. Log. 108, No. 6, 1281-1306 (2020). MSC: 03B45 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Saveliev, Denis I.; Shapirovsky, Ilya B. On modal logics of model-theoretic relations. (English) Zbl 1473.03011 Stud. Log. 108, No. 5, 989-1017 (2020). Reviewer: Jānis Cīrulis (Riga) MSC: 03B45 03C52 03C68 03G25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Balbiani, Philippe; Gencer, Çiğdem About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \). (English) Zbl 1486.03038 Stud. Log. 108, No. 5, 941-966 (2020). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio Interpolation in extensions of first-order logic. (English) Zbl 1452.03128 Stud. Log. 108, No. 3, 619-648 (2020). Reviewer: Mario Alviano (Rende) MSC: 03F03 03C40 03F05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kurahashi, Taishi Rosser provability and normal modal logics. (English) Zbl 1481.03007 Stud. Log. 108, No. 3, 597-617 (2020). MSC: 03B45 03F45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J. Epimorphisms, definability and cardinalities. (English) Zbl 1442.03036 Stud. Log. 108, No. 2, 255-275 (2020). Reviewer: James Monk (Boulder) MSC: 03G27 03B22 08A35 08C15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
French, Rohan; Ripley, David Valuations: bi, tri, and tetra. (English) Zbl 1450.03002 Stud. Log. 107, No. 6, 1313-1346 (2019). Reviewer: Albert Hoogewijs (Gent) MSC: 03B05 03B22 03B50 06A15 × Cite Format Result Cite Review PDF Full Text: DOI
Hansson, Sven Ove Back to basics: belief revision through direct selection. (English) Zbl 1477.03040 Stud. Log. 107, No. 5, 887-915 (2019). MSC: 03B42 03A05 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Fletcher, Peter Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer’s creative subject in intuitionistic mathematics. (English) Zbl 1435.00024 Stud. Log. 107, No. 4, 845-851 (2019). MSC: 00A17 03-02 03A05 00A30 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Rybakov, Mikhail; Shkatov, Dmitry Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter. (English) Zbl 1531.03046 Stud. Log. 107, No. 4, 695-717 (2019); correction ibid. 110, No. 2, 597-598 (2022). MSC: 03B45 03B25 03B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ma, Minghui; Chen, Jinsheng Sequent calculi for global modal consequence relations. (English) Zbl 1531.03043 Stud. Log. 107, No. 4, 613-637 (2019). MSC: 03B45 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Ma, Minghui; Lin, Yuanlei A deterministic weakening of Belnap-Dunn logic. (English) Zbl 1494.03060 Stud. Log. 107, No. 2, 283-312 (2019). MSC: 03B50 06D30 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Lauridsen, Frederik M. Intermediate logics admitting a structural hypersequent calculus. (English) Zbl 1494.03069 Stud. Log. 107, No. 2, 247-282 (2019). MSC: 03B55 03F05 03F03 06D20 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Streufert, Peter A. The category of node-and-choice preforms for extensive-form games. (English) Zbl 1417.91078 Stud. Log. 106, No. 5, 1001-1064 (2018). MSC: 91A18 05C60 91A43 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Litak, Tadeusz Infinite populations, choice and determinacy. (English) Zbl 1477.03237 Stud. Log. 106, No. 5, 969-999 (2018). MSC: 03E75 91B14 03E25 91B08 03D60 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Citkin, Alex Hereditarily structurally complete superintuitionistic deductive systems. (English) Zbl 1439.03067 Stud. Log. 106, No. 4, 827-856 (2018). Reviewer: Valery Plisko (Moskva) MSC: 03B55 03B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shtakser, Gennady Propositional epistemic logics with quantification over agents of knowledge. (English) Zbl 1437.03074 Stud. Log. 106, No. 2, 311-344 (2018). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Arieli, Ofer; Avron, Arnon Four-valued paradefinite logics. (English) Zbl 1417.03190 Stud. Log. 105, No. 6, 1087-1122 (2017). MSC: 03B53 03B50 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Kanckos, Annika; Woltzenlogel Paleo, B. Variants of Gödel’s ontological proof in a natural deduction calculus. (English) Zbl 1417.03153 Stud. Log. 105, No. 3, 553-586 (2017). MSC: 03B45 03F03 03A05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Jacinto, Bruno; Read, Stephen General-elimination stability. (English) Zbl 1417.03285 Stud. Log. 105, No. 2, 361-405 (2017). MSC: 03F05 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Garapa, M.; Fermé, E.; Reis, M. D. L. Studies on brutal contraction and severe withdrawal. (English) Zbl 1364.03024 Stud. Log. 105, No. 2, 331-360 (2017). Reviewer: David Makinson (London) MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Holliday, Wesley H. On the modal logic of subset and superset: tense logic over Medvedev frames. (English) Zbl 1417.03152 Stud. Log. 105, No. 1, 13-35 (2017). MSC: 03B45 03B44 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia Cofinal stable logics. (English) Zbl 1403.03045 Stud. Log. 104, No. 6, 1287-1317 (2016). MSC: 03B55 03B20 06D20 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Goudsmit, Jeroen P. Finite frames fail: how infinity works its way into the semantics of admissibility. (English) Zbl 1417.03199 Stud. Log. 104, No. 6, 1191-1204 (2016). MSC: 03B55 06D20 06D22 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Grigolia, Revaz; Kiseliova, Tatiana; Odisharia, Vladimer Free and projective bimodal symmetric Gödel algebras. (English) Zbl 1391.03044 Stud. Log. 104, No. 1, 115-143 (2016). MSC: 03G25 03B45 03B20 03F45 06D20 × Cite Format Result Cite Review PDF Full Text: DOI
Kremer, Philip Matching topological and frame products of modal logics. (English) Zbl 1391.03019 Stud. Log. 104, No. 3, 487-502 (2016). MSC: 03B45 54B10 × Cite Format Result Cite Review PDF Full Text: DOI
Hampson, Christopher; Kikot, S.; Kurucz, A. The decision problem of modal product logics with a diagonal, and faulty counter machines. (English) Zbl 1397.03023 Stud. Log. 104, No. 3, 455-486 (2016). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03B45 03B25 03B10 03D05 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Bezhanishvili, Nick; Gabelaia, David; Ghilardi, Silvio; Jibladze, Mamuka Admissible bases via stable canonical rules. (English) Zbl 1397.03016 Stud. Log. 104, No. 2, 317-341 (2016). Reviewer: Branislav Boričić (Beograd) MSC: 03B20 03B25 03B45 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Soncodi, Adrian Automorphisms of the lattice of classical modal logics. (English) Zbl 1388.03024 Stud. Log. 104, No. 2, 249-276 (2016). MSC: 03B45 20B25 20B27 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kuyper, Rutger First-order logic in the Medvedev lattice. (English) Zbl 1378.03033 Stud. Log. 103, No. 6, 1185-1224 (2015). MSC: 03D30 03B20 03G10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Hansson, Sven Ove A monoselective presentation of AGM revision. (English) Zbl 1378.03014 Stud. Log. 103, No. 5, 1019-1033 (2015). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Bergfeld, Jort M.; Kishida, Kohei; Sack, Joshua; Zhong, Shengyang Duality for the logic of quantum actions. (English) Zbl 1361.06005 Stud. Log. 103, No. 4, 781-805 (2015). Reviewer: Josef Tkadlec (Praha) MSC: 06D50 03G12 81P10 18B35 × Cite Format Result Cite Review PDF Full Text: DOI
Gilbert, David; Maffezioli, Paolo Modular sequent calculi for classical modal logics. (English) Zbl 1382.03042 Stud. Log. 103, No. 1, 175-217 (2015). MSC: 03B45 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Indrzejczak, Andrzej A survey of nonstandard sequent calculi. (English) Zbl 1318.03056 Stud. Log. 102, No. 6, 1295-1322 (2014). MSC: 03F03 03F07 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Ciabattoni, Agata; Ramanayake, Revantha; Wansing, Heinrich Hypersequent and display calculi – a unified perspective. (English) Zbl 1344.03043 Stud. Log. 102, No. 6, 1245-1294 (2014). MSC: 03F03 03F05 03B45 03B20 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Rasga, J.; Sernadas, A.; Sernadas, C. Fibring as biporting subsumes asymmetric combinations. (English) Zbl 1344.03031 Stud. Log. 102, No. 5, 1041-1074 (2014). MSC: 03B62 03B44 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Zolin, Evgeny Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi. (English) Zbl 1337.03020 Stud. Log. 102, No. 5, 1021-1039 (2014). MSC: 03B25 03B20 03B05 × Cite Format Result Cite Review PDF Full Text: DOI
Hansson, Sven Ove Descriptor revision. (English) Zbl 1339.03017 Stud. Log. 102, No. 5, 955-980 (2014). MSC: 03B42 × Cite Format Result Cite Review PDF Full Text: DOI
Du, Shan; Kang, Hongkui On pretabular logics in NExtK4. I. (English) Zbl 1301.03023 Stud. Log. 102, No. 3, 499-523 (2014). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Ferguson, Thomas Macaulay Extensions of Priest-da Costa logic. (English) Zbl 1329.03063 Stud. Log. 102, No. 1, 145-174 (2014). MSC: 03B53 03B20 03B55 × Cite Format Result Cite Review PDF Full Text: DOI Link
Priest, Graham Indefinite extensibility – dialetheic style. (English) Zbl 1329.03023 Stud. Log. 101, No. 6, 1263-1275 (2013). MSC: 03A05 03B53 × Cite Format Result Cite Review PDF Full Text: DOI
Odintsov, Sergei P.; Speranski, Stanislav O. Computability issues for adaptive logics in multi-consequence standard format. (English) Zbl 1329.03065 Stud. Log. 101, No. 6, 1237-1262 (2013). MSC: 03B60 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Seki, Takahiro Some metacomplete relevant modal logics. (English) Zbl 1315.03031 Stud. Log. 101, No. 5, 1115-1141 (2013). MSC: 03B45 03B47 × Cite Format Result Cite Review PDF Full Text: DOI
Humberstone, Lloyd Inverse images of box formulas in modal logic. (English) Zbl 1309.03008 Stud. Log. 101, No. 5, 1031-1060 (2013). Reviewer: Andreas Herzig (Toulouse) MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Voutsadakis, George Categorical abstract algebraic logic: referential algebraic semantics. (English) Zbl 1301.03072 Stud. Log. 101, No. 4, 849-899 (2013). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03G27 × Cite Format Result Cite Review PDF Full Text: DOI
Xu, Ming Some normal extensions of K4.3. (English) Zbl 1272.03103 Stud. Log. 101, No. 3, 583-599 (2013). Reviewer: G. E. Mints (Stanford) MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Picollo, Lavinia María Yablo’s paradox in second-order languages: consistency and unsatisfiability. (English) Zbl 1316.03004 Stud. Log. 101, No. 3, 601-617 (2013). Reviewer: Max A. Freund (San José) MSC: 03A05 03F35 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Beklemishev, Lev; Bezhanishvili, Guram; Mundici, Daniele; Venema, Yde Foreword to the special issue dedicated to the memory of Leo Esakia. (English) Zbl 1246.03007 Stud. Log. 100, No. 1-2, 1-7 (2012). MSC: 03-03 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Vakarelov, Dimiter Dynamic modalities. (English) Zbl 1257.03047 Stud. Log. 100, No. 1-2, 385-397 (2012). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B45 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Citkin, Alex Not every splitting Heyting or interior algebra is finitely presentable. (English) Zbl 1258.06003 Stud. Log. 100, No. 1-2, 115-135 (2012). Reviewer: Ivan Chajda (Přerov) MSC: 06D20 03B45 03B55 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Esakia, Leo; Löwe, Benedikt Fatal Heyting algebras and forcing persistent sentences. (English) Zbl 1368.03038 Stud. Log. 100, No. 1-2, 163-173 (2012). Reviewer: Guram Bezhanishvili (Las Cruces) MSC: 03B55 03E40 06D20 03B45 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Indrzejczak, Andrzej Possible worlds in use. (English) Zbl 1248.03034 Stud. Log. 99, No. 1-3, 229-248 (2011). MSC: 03B45 03A05 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Maksimova, Larisa Interpolation and definability over the logic Gl. (English) Zbl 1254.03069 Stud. Log. 99, No. 1-3, 249-267 (2011). MSC: 03C40 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Bezhanishvili, Guram; Bezhanishvili, Nick An algebraic approach to canonical formulas: modal case. (English) Zbl 1250.03124 Stud. Log. 99, No. 1-3, 93-125 (2011). Reviewer: Michiro Kondo (Inzai) MSC: 03G25 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Arieli, O.; Avron, A.; Zamansky, A. Ideal paraconsistent logics. (English) Zbl 1248.03046 Stud. Log. 99, No. 1-3, 31-60 (2011). MSC: 03B53 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
van Benthem, J.; Pacuit, E. Dynamic logics of evidence-based beliefs. (English) Zbl 1241.03013 Stud. Log. 99, No. 1-3, 61-92 (2011). Reviewer: David Makinson (London) MSC: 03B42 03B45 × Cite Format Result Cite Review PDF Full Text: DOI Link
Lucero-Bryan, Joel The d-logic of the rational numbers: a fruitful construction. (English) Zbl 1231.03018 Stud. Log. 97, No. 2, 265-295 (2011). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Cunha do Nascimento, Mauri; Krause, Décio; de Araújo Feitosa, Hércules The quasi-lattice of indiscernible elements. (English) Zbl 1215.03073 Stud. Log. 97, No. 1, 101-126 (2011). MSC: 03G12 × Cite Format Result Cite Review PDF Full Text: DOI
Arieli, Ofer; Avron, Arnon; Zamansky, Anna Maximal and premaximal paraconsistency in the framework of three-valued semantics. (English) Zbl 1256.03030 Stud. Log. 97, No. 1, 31-60 (2011). MSC: 03B53 03A05 03B50 × Cite Format Result Cite Review PDF Full Text: DOI Link
Barrio, Eduardo Alejandro Theories of truth without standard models and Yablo’s sequences. (English) Zbl 1217.03006 Stud. Log. 96, No. 3, 375-391 (2010). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Pleitz, Martin Curves in Gödel-space: towards a structuralist ontology of mathematical signs. (English) Zbl 1208.03014 Stud. Log. 96, No. 2, 193-218 (2010). MSC: 03A05 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Akishev, Galym; Goldblatt, Robert Monadic bounded algebras. (English) Zbl 1208.03037 Stud. Log. 96, No. 1, 1-40 (2010). MSC: 03C05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Maruyama, Yoshihiro Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory. (English) Zbl 1197.03024 Stud. Log. 94, No. 2, 245-269 (2010). MSC: 03B50 03B52 03G25 54A40 × Cite Format Result Cite Review PDF Full Text: DOI Link
Caicedo, Xavier; Rodriguez, Ricardo O. Standard Gödel modal logics. (English) Zbl 1266.03030 Stud. Log. 94, No. 2, 189-214 (2010). MSC: 03B45 03B50 03B52 × Cite Format Result Cite Review PDF Full Text: DOI
Weber, Zach Extensionality and restriction in naive set theory. (English) Zbl 1200.03021 Stud. Log. 94, No. 1, 87-104 (2010). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B53 03B47 03E30 × Cite Format Result Cite Review PDF Full Text: DOI
Gabbay, Dov M. Fibring argumentation frames. (English) Zbl 1185.68670 Stud. Log. 93, No. 2-3, 231-295 (2009). MSC: 68T27 × Cite Format Result Cite Review PDF Full Text: DOI Link
Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert Fibred security language. (English) Zbl 1181.03033 Stud. Log. 92, No. 3, 395-436 (2009). MSC: 03B70 03B45 03B62 × Cite Format Result Cite Review PDF Full Text: DOI Link
Font, Josep Maria Taking degrees of truth seriously. (English) Zbl 1169.03019 Stud. Log. 91, No. 3, 383-406 (2009). MSC: 03B50 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Schneider, Luc The logic of the ontological square. (English) Zbl 1163.03303 Stud. Log. 91, No. 1, 25-51 (2009). MSC: 03A05 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Verdée, Peter; van der Waart van Gulik, Stephan A generic framework for adaptive vague logics. (English) Zbl 1167.03022 Stud. Log. 90, No. 3, 385-405 (2008). Reviewer: Michał Baczyński (Katowice) MSC: 03B52 03B60 × Cite Format Result Cite Review PDF Full Text: DOI