Shtakser, Gennady Epistemic logics with quantification over epistemic operators: decidability and expressiveness. (English) Zbl 07753870 Log. Univers. 17, No. 3, 297-330 (2023). MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{G. Shtakser}, Log. Univers. 17, No. 3, 297--330 (2023; Zbl 07753870) Full Text: DOI
Mohammadi, Hamzeh; Aghaei, Mojtaba Rooted hypersequent calculus for modal logic S5. (English) Zbl 07753869 Log. Univers. 17, No. 3, 269-295 (2023). MSC: 03F03 03F05 03B45 PDFBibTeX XMLCite \textit{H. Mohammadi} and \textit{M. Aghaei}, Log. Univers. 17, No. 3, 269--295 (2023; Zbl 07753869) Full Text: DOI arXiv
Kubyshkina, Ekaterina; Petrolo, Mattia Revising the elenchus via belief revision. (English) Zbl 07710088 Log. Univers. 17, No. 2, 231-258 (2023). MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{E. Kubyshkina} and \textit{M. Petrolo}, Log. Univers. 17, No. 2, 231--258 (2023; Zbl 07710088) Full Text: DOI
Rumenova, Yana; Tinchev, Tinko Modal definability: two commuting equivalence relations. (English) Zbl 07580915 Log. Univers. 16, No. 1-2, 177-194 (2022). MSC: 03-02 03C07 03C13 03B25 03B45 PDFBibTeX XMLCite \textit{Y. Rumenova} and \textit{T. Tinchev}, Log. Univers. 16, No. 1--2, 177--194 (2022; Zbl 07580915) Full Text: DOI
Klonowski, Mateusz Axiomatization of some basic and modal Boolean connexive logics. (English) Zbl 07462130 Log. Univers. 15, No. 4, 517-536 (2021). MSC: 03-02 03B45 03B60 03C30 03C50 03C90 03F99 PDFBibTeX XMLCite \textit{M. Klonowski}, Log. Univers. 15, No. 4, 517--536 (2021; Zbl 07462130) Full Text: DOI
Woods, John The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable. (English) Zbl 1479.03005 Log. Univers. 15, No. 4, 399-433 (2021). MSC: 03A05 03B45 03B65 PDFBibTeX XMLCite \textit{J. Woods}, Log. Univers. 15, No. 4, 399--433 (2021; Zbl 1479.03005) Full Text: DOI
Bashmakov, Stepan I. Unification in pretabular extensions of S4. (English) Zbl 1491.03014 Log. Univers. 15, No. 3, 381-397 (2021). Reviewer: Alex Citkin (Warren) MSC: 03B45 03B22 03B47 03E75 PDFBibTeX XMLCite \textit{S. I. Bashmakov}, Log. Univers. 15, No. 3, 381--397 (2021; Zbl 1491.03014) Full Text: DOI arXiv
Schumann, Andrew On the origin of logical determinism in Babylonia. (English) Zbl 07419649 Log. Univers. 15, No. 3, 331-357 (2021). MSC: 03B45 03A05 03B65 03B22 PDFBibTeX XMLCite \textit{A. Schumann}, Log. Univers. 15, No. 3, 331--357 (2021; Zbl 07419649) Full Text: DOI
Fan, Jie Bimodal logic with contingency and accident: bisimulation and axiomatizations. (English) Zbl 07380925 Log. Univers. 15, No. 2, 123-147 (2021). MSC: 03B45 03B42 PDFBibTeX XMLCite \textit{J. Fan}, Log. Univers. 15, No. 2, 123--147 (2021; Zbl 07380925) 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
Grant, John Measuring inconsistency in generalized propositional logic. (English) Zbl 1476.03034 Log. Univers. 14, No. 3, 331-356 (2020). Reviewer: Gemma Robles (León) MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{J. Grant}, Log. Univers. 14, No. 3, 331--356 (2020; Zbl 1476.03034) Full Text: DOI
Diaconescu, Răzvan Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 1484.68106 Log. Univers. 14, No. 2, 259-277 (2020). MSC: 68Q65 03B45 03C98 03G30 PDFBibTeX XMLCite \textit{R. Diaconescu}, Log. Univers. 14, No. 2, 259--277 (2020; Zbl 1484.68106) Full Text: DOI arXiv
Ma, Minghui Labelled tableau systems for some subintuitionistic logics. (English) Zbl 1472.03017 Log. Univers. 13, No. 2, 273-288 (2019). MSC: 03B45 03B20 03F03 PDFBibTeX XMLCite \textit{M. Ma}, Log. Univers. 13, No. 2, 273--288 (2019; Zbl 1472.03017) Full Text: DOI
Tanninen, Tuukka Varieties of rigidity. (English) Zbl 1450.03001 Log. Univers. 13, No. 2, 219-240 (2019). Reviewer: Valentin F. Goranko (Stockholm) MSC: 03A05 03B42 03B45 03B65 PDFBibTeX XMLCite \textit{T. Tanninen}, Log. Univers. 13, No. 2, 219--240 (2019; Zbl 1450.03001) Full Text: DOI
Fontaine, Matthieu Hintikka, free logician. Singular terms in world lines semantics. (English) Zbl 1472.03014 Log. Univers. 13, No. 2, 179-201 (2019). MSC: 03B42 03B45 03C10 03C80 PDFBibTeX XMLCite \textit{M. Fontaine}, Log. Univers. 13, No. 2, 179--201 (2019; Zbl 1472.03014) Full Text: DOI
Thomas, Jolly Developing metalogic to formalize ontological disputes of the systems in metaphysics by introducing the notion of functionally isomorphic quantifiers. (English) Zbl 1441.03009 Log. Univers. 12, No. 3-4, 461-492 (2018). MSC: 03A05 03C80 03B99 PDFBibTeX XMLCite \textit{J. Thomas}, Log. Univers. 12, No. 3--4, 461--492 (2018; Zbl 1441.03009) Full Text: DOI
Hartonas, Chrysafis Canonical extensions and Kripke-Galois semantics for non-distributive logics. (English) Zbl 1522.03052 Log. Univers. 12, No. 3-4, 397-422 (2018). MSC: 03B45 03B47 03B60 03G10 PDFBibTeX XMLCite \textit{C. Hartonas}, Log. Univers. 12, No. 3--4, 397--422 (2018; Zbl 1522.03052) Full Text: DOI
Gyenis, Zalán On the modal logic of Jeffrey conditionalization. (English) Zbl 1461.03019 Log. Univers. 12, No. 3-4, 351-374 (2018). MSC: 03B42 03B45 03A10 PDFBibTeX XMLCite \textit{Z. Gyenis}, Log. Univers. 12, No. 3--4, 351--374 (2018; Zbl 1461.03019) Full Text: DOI
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek A characterisation of some \(\mathbf{Z}\)-like logics. (English) Zbl 1456.03051 Log. Univers. 12, No. 1-2, 207-219 (2018). MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{K. Mruczek-Nasieniewska} and \textit{M. Nasieniewski}, Log. Univers. 12, No. 1--2, 207--219 (2018; Zbl 1456.03051) Full Text: DOI
Lahav, Ori; Marcos, João; Zohar, Yoni Sequent systems for negative modalities. (English) Zbl 1420.03044 Log. Univers. 11, No. 3, 345-382 (2017). MSC: 03B53 03B45 03B60 03F05 PDFBibTeX XMLCite \textit{O. Lahav} et al., Log. Univers. 11, No. 3, 345--382 (2017; Zbl 1420.03044) Full Text: DOI arXiv
Kamide, Norihiro; Shramko, Yaroslav Modal multilattice logic. (English) Zbl 1404.03018 Log. Univers. 11, No. 3, 317-343 (2017). MSC: 03B45 03B50 03B53 PDFBibTeX XMLCite \textit{N. Kamide} and \textit{Y. Shramko}, Log. Univers. 11, No. 3, 317--343 (2017; Zbl 1404.03018) Full Text: DOI
Caleiro, Carlos; Viganò, Luca Compositional meaning in logic. (English) Zbl 1420.03006 Log. Univers. 11, No. 3, 283-295 (2017). MSC: 03-06 00B15 03B22 03B45 03B47 03B50 03B53 03F05 03G27 PDFBibTeX XMLCite \textit{C. Caleiro} and \textit{L. Viganò}, Log. Univers. 11, No. 3, 283--295 (2017; Zbl 1420.03006) Full Text: DOI Link
Muravitsky, Alexei Y. Interconnection of the lattices of extensions of four logics. (English) Zbl 1420.03039 Log. Univers. 11, No. 2, 253-281 (2017). MSC: 03B45 03B20 03G10 06D20 06E25 PDFBibTeX XMLCite \textit{A. Y. Muravitsky}, Log. Univers. 11, No. 2, 253--281 (2017; Zbl 1420.03039) Full Text: DOI
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno Computer-assisted analysis of the Anderson-Hájek ontological controversy. (English) Zbl 1417.03131 Log. Univers. 11, No. 1, 139-151 (2017). MSC: 03B35 03B15 03B45 PDFBibTeX XMLCite \textit{C. Benzmüller} et al., Log. Univers. 11, No. 1, 139--151 (2017; Zbl 1417.03131) Full Text: DOI
Lenzen, Wolfgang Leibniz’s ontological proof of the existence of God and the problem of “impossible objects“. (English) Zbl 1375.01014 Log. Univers. 11, No. 1, 85-104 (2017). Reviewer: Davide Crippa (Praha) MSC: 01A45 03-03 03Axx 03B45 PDFBibTeX XMLCite \textit{W. Lenzen}, Log. Univers. 11, No. 1, 85--104 (2017; Zbl 1375.01014) Full Text: DOI
Bjørdal, Frode Cubes and hypercubes of opposition, with ethical ruminations on inviolability. (English) Zbl 1350.03017 Log. Univers. 10, No. 2-3, 373-376 (2016). MSC: 03B45 03B62 PDFBibTeX XMLCite \textit{F. Bjørdal}, Log. Univers. 10, No. 2--3, 373--376 (2016; Zbl 1350.03017) Full Text: DOI
Pizzi, Claudio Generalization and composition of modal squares of oppositions. (English) Zbl 1370.03026 Log. Univers. 10, No. 2-3, 313-325 (2016). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 PDFBibTeX XMLCite \textit{C. Pizzi}, Log. Univers. 10, No. 2--3, 313--325 (2016; Zbl 1370.03026) Full Text: DOI
Demey, Lorenz; Smessaert, Hans Metalogical decorations of logical diagrams. (English) Zbl 1384.03023 Log. Univers. 10, No. 2-3, 233-292 (2016). MSC: 03A05 03B45 03B65 03B80 PDFBibTeX XMLCite \textit{L. Demey} and \textit{H. Smessaert}, Log. Univers. 10, No. 2--3, 233--292 (2016; Zbl 1384.03023) Full Text: DOI Link
Beziau, Jean-Yves; Giovagnoli, Raffaela The Vatican square. (English) Zbl 1403.00027 Log. Univers. 10, No. 2-3, 135-141 (2016). MSC: 00B25 03-06 03B22 03A05 03B20 03B45 03B52 PDFBibTeX XMLCite \textit{J.-Y. Beziau} and \textit{R. Giovagnoli}, Log. Univers. 10, No. 2--3, 135--141 (2016; Zbl 1403.00027) Full Text: DOI
Pascucci, Matteo A unified semantics for a family of modal logics with propositional constants. (English) Zbl 1336.03025 Log. Univers. 10, No. 1, 45-66 (2016). MSC: 03B45 PDFBibTeX XMLCite \textit{M. Pascucci}, Log. Univers. 10, No. 1, 45--66 (2016; Zbl 1336.03025) Full Text: DOI
Maximov, D. Y. N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. (English) Zbl 1380.03078 Log. Univers. 10, No. 1, 21-43 (2016). Reviewer: A. Borumand Saeid (Kerman) MSC: 03G30 03B50 03B53 03B45 03B47 03F52 PDFBibTeX XMLCite \textit{D. Y. Maximov}, Log. Univers. 10, No. 1, 21--43 (2016; Zbl 1380.03078) Full Text: DOI
Méndez, José M.; Robles, Gemma A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. (English) Zbl 1373.03026 Log. Univers. 9, No. 4, 501-522 (2015). MSC: 03B47 03B45 03B50 03B53 PDFBibTeX XMLCite \textit{J. M. Méndez} and \textit{G. Robles}, Log. Univers. 9, No. 4, 501--522 (2015; Zbl 1373.03026) Full Text: DOI
Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A. Weakening and extending \(\mathbb{Z}\). (English) Zbl 1331.03026 Log. Univers. 9, No. 3, 383-409 (2015). Reviewer: Can Baskent (Bath) MSC: 03B53 03B45 PDFBibTeX XMLCite \textit{M. Osorio} et al., Log. Univers. 9, No. 3, 383--409 (2015; Zbl 1331.03026) Full Text: DOI
Lenzen, Wolfgang Ockham’s calculus of strict implication. (English) Zbl 1323.01011 Log. Univers. 9, No. 2, 181-191 (2015). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 01A35 03A05 03B05 03B45 03-03 PDFBibTeX XMLCite \textit{W. Lenzen}, Log. Univers. 9, No. 2, 181--191 (2015; Zbl 1323.01011) Full Text: DOI
Peterson, Clayton Contrary-to-duty reasoning: a categorical approach. (English) Zbl 1357.03056 Log. Univers. 9, No. 1, 47-92 (2015). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 03B45 03B60 PDFBibTeX XMLCite \textit{C. Peterson}, Log. Univers. 9, No. 1, 47--92 (2015; Zbl 1357.03056) 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
Bonelli, Eduardo; Steren, Gabriela Hypothetical logic of proofs. (English) Zbl 1335.03020 Log. Univers. 8, No. 1, 103-140 (2014). MSC: 03B45 03B40 PDFBibTeX XMLCite \textit{E. Bonelli} and \textit{G. Steren}, Log. Univers. 8, No. 1, 103--140 (2014; Zbl 1335.03020) Full Text: DOI
Negri, Sara Proofs and countermodels in non-classical logics. (English) Zbl 1339.03046 Log. Univers. 8, No. 1, 25-60 (2014). MSC: 03F03 03B45 03B55 03F45 PDFBibTeX XMLCite \textit{S. Negri}, Log. Univers. 8, No. 1, 25--60 (2014; Zbl 1339.03046) Full Text: DOI
Enqvist, Sebastian A general Lindström theorem for some normal modal logics. (English) Zbl 1345.03035 Log. Univers. 7, No. 2, 233-264 (2013). MSC: 03B45 03C95 PDFBibTeX XMLCite \textit{S. Enqvist}, Log. Univers. 7, No. 2, 233--264 (2013; Zbl 1345.03035) Full Text: DOI
Poggiolesi, Francesca From single agent to multi-agent via hypersequents. (English) Zbl 1345.03030 Log. Univers. 7, No. 2, 147-166 (2013). MSC: 03B42 03B45 03F05 68T27 PDFBibTeX XMLCite \textit{F. Poggiolesi}, Log. Univers. 7, No. 2, 147--166 (2013; Zbl 1345.03030) Full Text: DOI Link
Pizzi, Claudio Relative contingency and bimodality. (English) Zbl 1266.03031 Log. Univers. 7, No. 1, 113-123 (2013). Reviewer: Alex Citkin (Warren) MSC: 03B45 03B05 PDFBibTeX XMLCite \textit{C. Pizzi}, Log. Univers. 7, No. 1, 113--123 (2013; Zbl 1266.03031) Full Text: DOI
Montagna, Franco; Pianigiani, Duccio A short note on essentially \(\Sigma_1\) sentences. (English) Zbl 1270.03039 Log. Univers. 7, No. 1, 103-111 (2013). Reviewer: Mladen Vuković (Zagreb) MSC: 03B45 03F45 03F30 PDFBibTeX XMLCite \textit{F. Montagna} and \textit{D. Pianigiani}, Log. Univers. 7, No. 1, 103--111 (2013; Zbl 1270.03039) Full Text: DOI
Cresswell, Max Axiomatising the Prior future in predicate logic. (English) Zbl 1272.03089 Log. Univers. 7, No. 1, 87-101 (2013). MSC: 03B44 03B45 PDFBibTeX XMLCite \textit{M. Cresswell}, Log. Univers. 7, No. 1, 87--101 (2013; Zbl 1272.03089) Full Text: DOI
Coniglio, Marcelo E.; Peron, Newton M. Modal extensions of sub-classical logics for recovering classical logic. (English) Zbl 1284.03150 Log. Univers. 7, No. 1, 71-86 (2013). MSC: 03B45 03B20 03B53 PDFBibTeX XMLCite \textit{M. E. Coniglio} and \textit{N. M. Peron}, Log. Univers. 7, No. 1, 71--86 (2013; Zbl 1284.03150) Full Text: DOI
Caleiro, Carlos; Viganò, Luca; Volpe, Marco On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators. (English) Zbl 1283.03039 Log. Univers. 7, No. 1, 33-69 (2013). MSC: 03B45 03B44 03B62 PDFBibTeX XMLCite \textit{C. Caleiro} et al., Log. Univers. 7, No. 1, 33--69 (2013; Zbl 1283.03039) Full Text: DOI
Bueno-Soler, Juliana Multimodal incompleteness under weak negations. (English) Zbl 1283.03038 Log. Univers. 7, No. 1, 21-31 (2013). MSC: 03B45 03B53 81P10 81P68 PDFBibTeX XMLCite \textit{J. Bueno-Soler}, Log. Univers. 7, No. 1, 21--31 (2013; Zbl 1283.03038) Full Text: DOI
Benzmüller, Christoph; Paulson, Lawrence C. Quantified multimodal logics in simple type theory. (English) Zbl 1334.03014 Log. Univers. 7, No. 1, 7-20 (2013). MSC: 03B45 03B15 PDFBibTeX XMLCite \textit{C. Benzmüller} and \textit{L. C. Paulson}, Log. Univers. 7, No. 1, 7--20 (2013; Zbl 1334.03014) Full Text: DOI
Carnielli, Walter; Pizzi, Claudio Special issue on multimodal logics: a preface. (English) Zbl 1275.03090 Log. Univers. 7, No. 1, 1-5 (2013). MSC: 03B45 PDFBibTeX XMLCite \textit{W. Carnielli} and \textit{C. Pizzi}, Log. Univers. 7, No. 1, 1--5 (2013; Zbl 1275.03090) Full Text: DOI
Jaspers, Dany Logic and colour. (English) Zbl 1272.03029 Log. Univers. 6, No. 1-2, 227-248 (2012). MSC: 03A05 03B10 03B45 03G05 PDFBibTeX XMLCite \textit{D. Jaspers}, Log. Univers. 6, No. 1--2, 227--248 (2012; Zbl 1272.03029) Full Text: DOI
Joerden, Jan C. Deontological square, hexagon, and decagon: a deontic framework for supererogation. (English) Zbl 1280.03022 Log. Univers. 6, No. 1-2, 201-216 (2012). MSC: 03B45 03B22 03A05 PDFBibTeX XMLCite \textit{J. C. Joerden}, Log. Univers. 6, No. 1--2, 201--216 (2012; Zbl 1280.03022) Full Text: DOI
Smessaert, Hans The classical Aristotelian hexagon versus the modern duality hexagon. (English) Zbl 1280.03009 Log. Univers. 6, No. 1-2, 171-199 (2012). MSC: 03B10 03B45 03B65 03G05 PDFBibTeX XMLCite \textit{H. Smessaert}, Log. Univers. 6, No. 1--2, 171--199 (2012; Zbl 1280.03009) Full Text: DOI
Guitart, René A hexagonal framework of the field \({\mathbb{F}_4}\) and the associated Borromean logic. (English) Zbl 1280.03021 Log. Univers. 6, No. 1-2, 119-147 (2012). MSC: 03B45 03B50 03G05 11T30 PDFBibTeX XMLCite \textit{R. Guitart}, Log. Univers. 6, No. 1--2, 119--147 (2012; Zbl 1280.03021) Full Text: DOI
Simons, Peter Approaching the alethic modal hexagon of opposition. (English) Zbl 1272.03043 Log. Univers. 6, No. 1-2, 109-118 (2012). MSC: 03A05 03B45 PDFBibTeX XMLCite \textit{P. Simons}, Log. Univers. 6, No. 1--2, 109--118 (2012; Zbl 1272.03043) Full Text: DOI
Dufatanye, Aimable-André From the logical square to Blanché’s hexagon: formalization, applicability and the idea of the normative structure of thought. (English) Zbl 1272.03016 Log. Univers. 6, No. 1-2, 45-67 (2012). MSC: 03A05 03B05 03B45 PDFBibTeX XMLCite \textit{A.-A. Dufatanye}, Log. Univers. 6, No. 1--2, 45--67 (2012; Zbl 1272.03016) Full Text: DOI
Béziau, Jean-Yves The power of the hexagon. (English) Zbl 1272.03008 Log. Univers. 6, No. 1-2, 1-43 (2012). MSC: 03A05 03B22 03B44 03B45 00A30 PDFBibTeX XMLCite \textit{J.-Y. Béziau}, Log. Univers. 6, No. 1--2, 1--43 (2012; Zbl 1272.03008) Full Text: DOI
Britz, Katarina; Heidema, Johannes; Varzinczak, Ivan Constrained consequence. (English) Zbl 1278.03030 Log. Univers. 5, No. 2, 327-350 (2011). Reviewer: Alex Citkin (Warren) MSC: 03B20 03B22 03B45 03B53 03B60 PDFBibTeX XMLCite \textit{K. Britz} et al., Log. Univers. 5, No. 2, 327--350 (2011; Zbl 1278.03030) Full Text: DOI
Pavlov, Sergey The logic with truth and falsehood operators from a point of view of universal logic. (English) Zbl 1280.03013 Log. Univers. 5, No. 2, 319-325 (2011). MSC: 03B22 03B45 03B52 PDFBibTeX XMLCite \textit{S. Pavlov}, Log. Univers. 5, No. 2, 319--325 (2011; Zbl 1280.03013) Full Text: DOI
Skura, Tomasz On refutation rules. (English) Zbl 1264.03037 Log. Univers. 5, No. 2, 249-254 (2011). MSC: 03B22 03B45 PDFBibTeX XMLCite \textit{T. Skura}, Log. Univers. 5, No. 2, 249--254 (2011; Zbl 1264.03037) Full Text: DOI
Jäger, Gerhard; Studer, Thomas A Buchholz rule for modal fixed point logics. (English) Zbl 1278.03044 Log. Univers. 5, No. 1, 1-19 (2011). Reviewer: Andrzej Indrzejczak (Łódź) MSC: 03B45 03B44 03B70 03F03 03F05 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{T. Studer}, Log. Univers. 5, No. 1, 1--19 (2011; Zbl 1278.03044) Full Text: DOI
Bueno-Soler, Juliana Two semantical approaches to paraconsistent modalities. (English) Zbl 1255.03028 Log. Univers. 4, No. 1, 137-160 (2010). MSC: 03B45 03B53 PDFBibTeX XMLCite \textit{J. Bueno-Soler}, Log. Univers. 4, No. 1, 137--160 (2010; Zbl 1255.03028) Full Text: DOI
Smessaert, Hans On the 3D visualisation of logical relations. (English) Zbl 1255.03032 Log. Univers. 3, No. 2, 303-332 (2009). MSC: 03B45 03G05 PDFBibTeX XMLCite \textit{H. Smessaert}, Log. Univers. 3, No. 2, 303--332 (2009; Zbl 1255.03032) Full Text: DOI
Anellis, Irving H. Russell and his sources for non-classical logics. (English) Zbl 1255.03001 Log. Univers. 3, No. 2, 153-218 (2009). MSC: 03-03 01A60 03B45 PDFBibTeX XMLCite \textit{I. H. Anellis}, Log. Univers. 3, No. 2, 153--218 (2009; Zbl 1255.03001) Full Text: DOI
Moretti, Alessio The geometry of standard deontic logic. (English) Zbl 1255.03031 Log. Univers. 3, No. 1, 19-57 (2009). MSC: 03B45 03A05 03B05 PDFBibTeX XMLCite \textit{A. Moretti}, Log. Univers. 3, No. 1, 19--57 (2009; Zbl 1255.03031) Full Text: DOI
Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L. New dimensions on translations between logics. (English) Zbl 1255.03029 Log. Univers. 3, No. 1, 1-18 (2009). MSC: 03B45 03B60 PDFBibTeX XMLCite \textit{W. A. Carnielli} et al., Log. Univers. 3, No. 1, 1--18 (2009; Zbl 1255.03029) Full Text: DOI
Pellissier, Régis “Setting” \(n\)-opposition. (English) Zbl 1156.03021 Log. Univers. 2, No. 2, 235-263 (2008). MSC: 03B45 PDFBibTeX XMLCite \textit{R. Pellissier}, Log. Univers. 2, No. 2, 235--263 (2008; Zbl 1156.03021) Full Text: DOI
Luzeaux, Dominique; Sallantin, Jean; Dartnell, Christopher Logical extensions of Aristotle’s square. (English) Zbl 1138.03314 Log. Univers. 2, No. 1, 167-187 (2008). MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{D. Luzeaux} et al., Log. Univers. 2, No. 1, 167--187 (2008; Zbl 1138.03314) Full Text: DOI Link
Pizzi, Claudio Aristotle’s cubes and consequential implication. (English) Zbl 1144.03017 Log. Univers. 2, No. 1, 143-153 (2008). Reviewer: Louis F. Goble (Salem) MSC: 03B45 03A05 PDFBibTeX XMLCite \textit{C. Pizzi}, Log. Univers. 2, No. 1, 143--153 (2008; Zbl 1144.03017) Full Text: DOI
McGinnis, Casey Some multi-conclusion modal paralogics. (English) Zbl 1131.03008 Log. Univers. 1, No. 2, 335-353 (2007). MSC: 03B45 03B53 03B60 PDFBibTeX XMLCite \textit{C. McGinnis}, Log. Univers. 1, No. 2, 335--353 (2007; Zbl 1131.03008) Full Text: DOI
van Benthem, Johan A new modal Lindström theorem. (English) Zbl 1118.03012 Log. Univers. 1, No. 1, 125-138 (2007). MSC: 03B45 03C95 PDFBibTeX XMLCite \textit{J. van Benthem}, Log. Univers. 1, No. 1, 125--138 (2007; Zbl 1118.03012) Full Text: DOI