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 PDF BibTeX XML Cite \textit{M. Klonowski}, Log. Univers. 15, No. 4, 517--536 (2021; Zbl 07462130) Full Text: DOI OpenURL
Galvan, Sergio; Giordani, Alessandro A classical logic of existence and essence. (English) Zbl 1478.03007 Log. Log. Philos. 29, No. 4, 541-570 (2020). MSC: 03A05 03B45 03B60 PDF BibTeX XML Cite \textit{S. Galvan} and \textit{A. Giordani}, Log. Log. Philos. 29, No. 4, 541--570 (2020; Zbl 1478.03007) Full Text: DOI OpenURL
Sakai, Hiroshi; Nakata, Michinori; Watada, Junzo NIS-apriori-based rule generation with three-way decisions and its application system in SQL. (English) Zbl 1456.68201 Inf. Sci. 507, 755-771 (2020). MSC: 68T37 68P15 PDF BibTeX XML Cite \textit{H. Sakai} et al., Inf. Sci. 507, 755--771 (2020; Zbl 1456.68201) Full Text: DOI OpenURL
Longenecker, Michael Tze-Sung Existentialism, aliens and referentially unrestricted worlds. (English) Zbl 1475.03035 Synthese 196, No. 9, 3723-3738 (2019). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{M. T. S. Longenecker}, Synthese 196, No. 9, 3723--3738 (2019; Zbl 1475.03035) Full Text: DOI OpenURL
Georgi, Geoff Propositions, representation, and truth. (English) Zbl 1474.03021 Synthese 196, No. 3, 1019-1043 (2019). MSC: 03A05 PDF BibTeX XML Cite \textit{G. Georgi}, Synthese 196, No. 3, 1019--1043 (2019; Zbl 1474.03021) Full Text: DOI OpenURL
Jarmużek, Tomasz; Malinowski, Jacek Modal Boolean connexive logics: semantics and tableau approach. (English) Zbl 1446.03043 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 3, 213-243 (2019). MSC: 03B45 PDF BibTeX XML Cite \textit{T. Jarmużek} and \textit{J. Malinowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 3, 213--243 (2019; Zbl 1446.03043) Full Text: DOI OpenURL
Chen, Jia; Pan, Tianqun Logics for moderate belief-disagreement between agents. (English) Zbl 07075854 Stud. Log. 107, No. 3, 559-574 (2019). MSC: 03-XX PDF BibTeX XML Cite \textit{J. Chen} and \textit{T. Pan}, Stud. Log. 107, No. 3, 559--574 (2019; Zbl 07075854) Full Text: DOI OpenURL
Jost, Jürgen Leibniz and modern science. (Leibniz und die moderne Naturwissenschaft.) (German) Zbl 1435.01004 Wissenschaft und Philosophie. Berlin: Springer (ISBN 978-3-662-59235-9/pbk; 978-3-662-59236-6/ebook). x, 185 p. (2019). Reviewer: Volker Peckhaus (Paderborn) MSC: 01-02 01A50 00A30 03A05 03A10 83-03 92-03 PDF BibTeX XML Cite \textit{J. Jost}, Leibniz und die moderne Naturwissenschaft. Berlin: Springer (2019; Zbl 1435.01004) Full Text: DOI OpenURL
Herzig, Andreas; Lorini, Emiliano; Maffre, Faustine Possible worlds semantics based on observation and communication. (English) Zbl 1437.03066 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, 339-362 (2018). MSC: 03B42 PDF BibTeX XML Cite \textit{A. Herzig} et al., Outst. Contrib. Log. 12, 339--362 (2018; Zbl 1437.03066) Full Text: DOI OpenURL
Fine, Kit Compliance and command. II: Imperatives and deontics. (English) Zbl 1477.03050 Rev. Symb. Log. 11, No. 4, 634-664 (2018). MSC: 03B45 03A05 PDF BibTeX XML Cite \textit{K. Fine}, Rev. Symb. Log. 11, No. 4, 634--664 (2018; Zbl 1477.03050) Full Text: DOI OpenURL
Fine, Kit Compliance and command. I: Categorical imperatives. (English) Zbl 1477.03049 Rev. Symb. Log. 11, No. 4, 609-633 (2018). MSC: 03B45 03B60 03A05 PDF BibTeX XML Cite \textit{K. Fine}, Rev. Symb. Log. 11, No. 4, 609--633 (2018; Zbl 1477.03049) Full Text: DOI OpenURL
Urbaniak, Rafal; Leuridan, Bert Challenging Lewis’s challenge to the best system account of lawhood. (English) Zbl 1398.03061 Synthese 195, No. 4, 1649-1666 (2018). MSC: 03A10 PDF BibTeX XML Cite \textit{R. Urbaniak} and \textit{B. Leuridan}, Synthese 195, No. 4, 1649--1666 (2018; Zbl 1398.03061) Full Text: DOI OpenURL
Chen, Jia; Pan, Tianqun Logic for describing strong belief-disagreement between agents. (English) Zbl 1437.03061 Stud. Log. 106, No. 1, 35-47 (2018). MSC: 03B42 PDF BibTeX XML Cite \textit{J. Chen} and \textit{T. Pan}, Stud. Log. 106, No. 1, 35--47 (2018; Zbl 1437.03061) Full Text: DOI OpenURL
Skiba, Lukas Fictionalism and the incompleteness problem. (English) Zbl 1417.03099 Synthese 194, No. 4, 1349-1362 (2017). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{L. Skiba}, Synthese 194, No. 4, 1349--1362 (2017; Zbl 1417.03099) Full Text: DOI OpenURL
Pan, Tianqun; Yang, Chungui A logic for weak essence and strong accident. (English) Zbl 1403.03034 Log. Anal., Nouv. Sér. 60, No. 238, 179-190 (2017). Reviewer: Damas Gruska (Bratislava) MSC: 03B45 PDF BibTeX XML Cite \textit{T. Pan} and \textit{C. Yang}, Log. Anal., Nouv. Sér. 60, No. 238, 179--190 (2017; Zbl 1403.03034) Full Text: DOI OpenURL
Varasdi, Károly Worlds, events, and inertia. (English) Zbl 1420.03057 J. Logic Lang. Inf. 26, No. 3, 303-332 (2017). MSC: 03B65 PDF BibTeX XML Cite \textit{K. Varasdi}, J. Logic Lang. Inf. 26, No. 3, 303--332 (2017; Zbl 1420.03057) Full Text: DOI OpenURL
Lee, Kok Yong Motivating the causal modeling semantics of counterfactuals, or, why we should favor the causal modeling semantics over the possible-worlds semantics. (English) Zbl 1429.03032 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., 83-110 (2016). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{K. Y. Lee}, 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. 83--110 (2016; Zbl 1429.03032) Full Text: DOI OpenURL
Bana, Gergei; Okada, Mitsuhiro Semantics for “enough-certainty” and Fitting’s embedding of classical logic in S4. (English) Zbl 1370.68196 Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 34, 18 p. (2016). MSC: 68Q60 03B45 03B70 68M12 PDF BibTeX XML Cite \textit{G. Bana} and \textit{M. Okada}, LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 34, 18~p. (2016; Zbl 1370.68196) Full Text: DOI OpenURL
Tiskin, Daniel Transparent readings and privileged worlds. (English) Zbl 1392.03044 Log. Issled. 22, No. 2, 73-90 (2016). MSC: 03B65 PDF BibTeX XML Cite \textit{D. Tiskin}, Log. Issled. 22, No. 2, 73--90 (2016; Zbl 1392.03044) Full Text: DOI OpenURL
Van Cleve, James Objectivity without objects: a Priorian program. (English) Zbl 1360.03049 Synthese 193, No. 11, 3535-3549 (2016). MSC: 03A05 03A10 PDF BibTeX XML Cite \textit{J. Van Cleve}, Synthese 193, No. 11, 3535--3549 (2016; Zbl 1360.03049) Full Text: DOI OpenURL
Markoska-Cubrinovska, Aneta Possible worlds in “The craft of formal logic”. (English) Zbl 1396.03033 Synthese 193, No. 11, 3459-3471 (2016). MSC: 03B45 03-03 01A60 03A05 PDF BibTeX XML Cite \textit{A. Markoska-Cubrinovska}, Synthese 193, No. 11, 3459--3471 (2016; Zbl 1396.03033) Full Text: DOI OpenURL
Giordani, Alessandro A suitable semantics for implicit and explicit belief. (English) Zbl 1372.03030 Log. Anal., Nouv. Sér. 58, No. 231, 395-415 (2015). MSC: 03B42 PDF BibTeX XML Cite \textit{A. Giordani}, Log. Anal., Nouv. Sér. 58, No. 231, 395--415 (2015; Zbl 1372.03030) Full Text: DOI OpenURL
Akiba, Ken How Barnes and Williams have failed to present an intelligible ontic theory of vagueness. (English) Zbl 1369.03022 Analysis, Oxf. 75, No. 4, 565-573 (2015). MSC: 03A05 PDF BibTeX XML Cite \textit{K. Akiba}, Analysis, Oxf. 75, No. 4, 565--573 (2015; Zbl 1369.03022) Full Text: DOI OpenURL
Punčochář, Vít Weak negation in inquisitive semantics. (English) Zbl 1369.03108 J. Logic Lang. Inf. 24, No. 3, 323-355 (2015). MSC: 03B60 03B65 PDF BibTeX XML Cite \textit{V. Punčochář}, J. Logic Lang. Inf. 24, No. 3, 323--355 (2015; Zbl 1369.03108) Full Text: DOI OpenURL
Scharp, Kevin Xeno semantics for ascending and descending truth. (English) Zbl 1358.03015 Tennant, Neil (ed.), Foundational adventures. Essays in honour of Harvey M. Friedman. London: College Publications (ISBN 978-1-84890-117-9/pbk). Tributes 22, 149-167 (2014). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{K. Scharp}, Tributes 22, 149--167 (2014; Zbl 1358.03015) OpenURL
Kennedy, Neil On the essential flatness of possible worlds. (English) Zbl 1330.03019 Ciuni, Roberto (ed.) et al., Recent trends in philosophical logic. Selected contributions from the conference ‘Trends in logic XI’, Bochum, Germany, June 3–5, 2012. Cham: Springer (ISBN 978-3-319-06079-8/hbk; 978-3-319-06080-4/ebook). Trends in Logic – Studia Logica Library 41, 127-137 (2014). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{N. Kennedy}, Trends Log. Stud. Log. Libr. 41, 127--137 (2014; Zbl 1330.03019) Full Text: DOI OpenURL
Peppas, Pavlos A panorama of iterated revision. (English) Zbl 1311.03033 Hansson, Sven Ove (ed.), David Makinson on classical methods for non-classical problems. Dordrecht: Springer (ISBN 978-94-007-7758-3/hbk; 978-94-007-7759-0/ebook). Outstanding Contributions to Logic 3, 71-94 (2014). MSC: 03B42 03A05 PDF BibTeX XML Cite \textit{P. Peppas}, Outst. Contrib. Log. 3, 71--94 (2014; Zbl 1311.03033) Full Text: DOI OpenURL
Giordani, Alessandro On the factivity of implicit intersubjective knowledge. (English) Zbl 1310.03026 Synthese 191, No. 8, 1909-1923 (2014). MSC: 03B42 03A05 PDF BibTeX XML Cite \textit{A. Giordani}, Synthese 191, No. 8, 1909--1923 (2014; Zbl 1310.03026) Full Text: DOI OpenURL
Kennedy, Neil On possible worlds with modal parts. A semantics for modal interaction. (English) Zbl 1318.03015 J. Philos. Log. 43, No. 6, 1129-1152 (2014). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{N. Kennedy}, J. Philos. Log. 43, No. 6, 1129--1152 (2014; Zbl 1318.03015) Full Text: DOI OpenURL
Kennedy, Neil Defending the possibility of knowledge. (English) Zbl 1342.03009 J. Philos. Log. 43, No. 2-3, 579-601 (2014). MSC: 03A05 PDF BibTeX XML Cite \textit{N. Kennedy}, J. Philos. Log. 43, No. 2--3, 579--601 (2014; Zbl 1342.03009) Full Text: DOI Link OpenURL
Menzel, Christopher; Zalta, Edward N. The fundamental theorem of world theory. (English) Zbl 1302.03022 J. Philos. Log. 43, No. 2-3, 333-363 (2014). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{C. Menzel} and \textit{E. N. Zalta}, J. Philos. Log. 43, No. 2--3, 333--363 (2014; Zbl 1302.03022) Full Text: DOI Link OpenURL
Giordani, Alessandro A new semantics for systems of logic of essence. (English) Zbl 1301.03029 Stud. Log. 102, No. 3, 411-440 (2014). MSC: 03B60 03A05 PDF BibTeX XML Cite \textit{A. Giordani}, Stud. Log. 102, No. 3, 411--440 (2014; Zbl 1301.03029) Full Text: DOI Link OpenURL
Unterhuber, Matthias; Schurz, Gerhard Logic and probability: reasoning in uncertain environments – introduction to the special issue. (English) Zbl 1298.00188 Stud. Log. 102, No. 4, 663-671 (2014). MSC: 00B15 03-06 03B45 03B48 68T37 PDF BibTeX XML Cite \textit{M. Unterhuber} and \textit{G. Schurz}, Stud. Log. 102, No. 4, 663--671 (2014; Zbl 1298.00188) Full Text: DOI OpenURL
Bjerring, Jens Christian Problems in epistemic space. (English) Zbl 1341.03005 J. Philos. Log. 43, No. 1, 153-170 (2014). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{J. C. Bjerring}, J. Philos. Log. 43, No. 1, 153--170 (2014; Zbl 1341.03005) Full Text: DOI Link OpenURL
deRosset, Louis Possible worlds for modal primitivists. (English) Zbl 1341.03010 J. Philos. Log. 43, No. 1, 109-131 (2014). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{L. deRosset}, J. Philos. Log. 43, No. 1, 109--131 (2014; Zbl 1341.03010) Full Text: DOI Link OpenURL
Percival, Philip Branching of possible worlds. (English) Zbl 1302.03023 Synthese 190, No. 18, 4261-4291 (2013). MSC: 03A05 PDF BibTeX XML Cite \textit{P. Percival}, Synthese 190, No. 18, 4261--4291 (2013; Zbl 1302.03023) Full Text: DOI OpenURL
Spector, David Margin for error semantics and signal perception. (English) Zbl 1284.03103 Synthese 190, No. 15, 3247-3263 (2013). MSC: 03A05 03B42 PDF BibTeX XML Cite \textit{D. Spector}, Synthese 190, No. 15, 3247--3263 (2013; Zbl 1284.03103) Full Text: DOI OpenURL
Kennedy, Neil On modal facts in possible worlds. (English) Zbl 1273.03024 Punčochář, Vít (ed.) et al., The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18–22, 2012. London: College Publications (ISBN 978-1-84890-110-0/pbk). 65-77 (2013). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{N. Kennedy}, in: The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18--22, 2012. London: College Publications. 65--77 (2013; Zbl 1273.03024) OpenURL
Nakata, Michinori; Sakai, Hiroshi Twofold rough approximations under incomplete information. (English) Zbl 1268.93091 Int. J. Gen. Syst. 42, No. 6, 546-571 (2013). MSC: 93C41 93C42 PDF BibTeX XML Cite \textit{M. Nakata} and \textit{H. Sakai}, Int. J. Gen. Syst. 42, No. 6, 546--571 (2013; Zbl 1268.93091) Full Text: DOI OpenURL
Jin, Cheqing; Zhang, Jingwei; Zhou, Aoying Continuous ranking on uncertain streams. (English) Zbl 1331.68071 Front. Comput. Sci. 6, No. 6, 686-699 (2012). MSC: 68P15 68T05 PDF BibTeX XML Cite \textit{C. Jin} et al., Front. Comput. Sci. 6, No. 6, 686--699 (2012; Zbl 1331.68071) Full Text: DOI OpenURL
Plummer, Andrew; Pollard, Carl Agnostic possible worlds semantics. (English) Zbl 1291.03063 Béchet, Denis (ed.) et al., Logical aspects of computational linguistics. 7th international conference, LACL 2012, Nantes, France, July 2–4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31261-8/pbk). Lecture Notes in Computer Science 7351, 201-212 (2012). MSC: 03B65 03B15 PDF BibTeX XML Cite \textit{A. Plummer} and \textit{C. Pollard}, Lect. Notes Comput. Sci. 7351, 201--212 (2012; Zbl 1291.03063) Full Text: DOI OpenURL
Fine, Kit A difficulty for the possible worlds analysis of counterfactuals. (English) Zbl 1284.03050 Synthese 189, No. 1, 29-57 (2012). MSC: 03A05 03B45 03B65 PDF BibTeX XML Cite \textit{K. Fine}, Synthese 189, No. 1, 29--57 (2012; Zbl 1284.03050) Full Text: DOI OpenURL
Briggs, Rachael (ed.); Jago, Mark (ed.) Propositions and same-saying: Introduction. (English) Zbl 1298.00238 Synthese 189, No. 1, 1-10 (2012). MSC: 00B25 03A05 03-06 PDF BibTeX XML Cite \textit{R. Briggs} (ed.) and \textit{M. Jago} (ed.), Synthese 189, No. 1, 1--10 (2012; Zbl 1298.00238) Full Text: DOI OpenURL
Menzel, Christopher Sets and worlds again. (English) Zbl 1264.03025 Analysis, Oxf. 72, No. 2, 304-309 (2012). MSC: 03A05 PDF BibTeX XML Cite \textit{C. Menzel}, Analysis, Oxf. 72, No. 2, 304--309 (2012; Zbl 1264.03025) Full Text: DOI OpenURL
Hoffmann, Aviv Are propositions sets of possible worlds? (English) Zbl 1264.03018 Analysis, Oxf. 72, No. 3, 449-455 (2012). MSC: 03A05 PDF BibTeX XML Cite \textit{A. Hoffmann}, Analysis, Oxf. 72, No. 3, 449--455 (2012; Zbl 1264.03018) Full Text: DOI OpenURL
Carrara, Massimiliano; Martino, Enrico; Morato, Vittorio On dialetheic entailment. (English) Zbl 1262.03006 Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 37-48 (2012). MSC: 03A05 PDF BibTeX XML Cite \textit{M. Carrara} et al., in: The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2011. London: College Publications. 37--48 (2012; Zbl 1262.03006) OpenURL
Bjørdal, Frode The evaluation semantics – a short introduction. (English) Zbl 1262.03035 Peliš, Michal (ed.) et al., The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2011. London: College Publications (ISBN 978-1-84890-071-4/pbk). 31-36 (2012). MSC: 03B45 03A05 PDF BibTeX XML Cite \textit{F. Bjørdal}, in: The Logica yearbook 2011. Proceedings of the 25th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20--24, 2011. London: College Publications. 31--36 (2012; Zbl 1262.03035) OpenURL
Alcantara, Jean-Pascal Leibniz, modal logic and possible world semantics: the Apulean square as a Procrustean bed for his modal metaphysics. (English) Zbl 1270.03006 Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 53-71 (2012). MSC: 03-03 01A45 03A05 03B45 PDF BibTeX XML Cite \textit{J.-P. Alcantara}, in: Around and beyond the square of opposition. Basel: Birkhäuser. 53--71 (2012; Zbl 1270.03006) Full Text: DOI OpenURL
Punčochář, Vít Some modifications of Carnap’s modal logic. (English) Zbl 1283.03041 Stud. Log. 100, No. 3, 517-543 (2012). MSC: 03B45 03B42 PDF BibTeX XML Cite \textit{V. Punčochář}, Stud. Log. 100, No. 3, 517--543 (2012; Zbl 1283.03041) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{J. Beall} et al., J. Philos. Log. 41, No. 3, 595--612 (2012; Zbl 1260.03049) Full Text: DOI OpenURL
Kahle, Reinhard Modalities without worlds. (English) Zbl 1258.03006 Rahman, Shahid (ed.) et al., The realism-antirealism debate in the age of alternative logics. Berlin: Springer (ISBN 978-94-007-1922-4/hbk; 978-94-007-1923-1/ebook). Logic, Epistemology, and the Unity of Science 23, 101-118 (2012). Reviewer: Louis F. Goble (Salem) MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{R. Kahle}, Log. Epistemol. Unity Sci. 23, 101--118 (2012; Zbl 1258.03006) Full Text: DOI OpenURL
Fermé, Eduardo; Reis, Maurício D. L. System of spheres-based multiple contractions. (English) Zbl 1243.03019 J. Philos. Log. 41, No. 1, 29-52 (2012). MSC: 03B42 PDF BibTeX XML Cite \textit{E. Fermé} and \textit{M. D. L. Reis}, J. Philos. Log. 41, No. 1, 29--52 (2012; Zbl 1243.03019) Full Text: DOI OpenURL
Reis, Maurício D. L.; Fermé, Eduardo Possible worlds semantics for partial meet multiple contraction. (English) Zbl 1243.03022 J. Philos. Log. 41, No. 1, 7-28 (2012). MSC: 03B42 PDF BibTeX XML Cite \textit{M. D. L. Reis} and \textit{E. Fermé}, J. Philos. Log. 41, No. 1, 7--28 (2012; Zbl 1243.03022) Full Text: DOI OpenURL
Pottier, François A typed store-passing translation for general references. (English) Zbl 1284.68194 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 147-158 (2011). MSC: 68N30 03B70 68N18 PDF BibTeX XML Cite \textit{F. Pottier}, in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 147--158 (2011; Zbl 1284.68194) Full Text: DOI Link OpenURL
Sarukkai, Sundar Possible ideas of necessity in Indian logic. (English) Zbl 1242.03019 J. Philos. Log. 40, No. 5, 563-582 (2011). MSC: 03A05 01A32 03-03 PDF BibTeX XML Cite \textit{S. Sarukkai}, J. Philos. Log. 40, No. 5, 563--582 (2011; Zbl 1242.03019) Full Text: DOI OpenURL
Wiśniewski, Andrzej Propositions, possible worlds and recursion. (English) Zbl 1244.03039 Log. Log. Philos. 20, No. 1-2, 73-79 (2011). MSC: 03A05 PDF BibTeX XML Cite \textit{A. Wiśniewski}, Log. Log. Philos. 20, No. 1--2, 73--79 (2011; Zbl 1244.03039) OpenURL
Indrzejczak, Andrzej Possible worlds in use. (English) Zbl 1248.03034 Stud. Log. 99, No. 1-3, 229-248 (2011). MSC: 03B45 03A05 03G25 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Stud. Log. 99, No. 1--3, 229--248 (2011; Zbl 1248.03034) Full Text: DOI OpenURL
McCusker, Guy; Power, John Modelling local variables: possible worlds and object spaces. (English) Zbl 1342.68092 Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 389-402 (2010). MSC: 68N30 18A25 18D15 68N15 68Q55 PDF BibTeX XML Cite \textit{G. McCusker} and \textit{J. Power}, Electron. Notes Theor. Comput. Sci. 265, 389--402 (2010; Zbl 1342.68092) Full Text: DOI OpenURL
Restall, Greg Always more. (English) Zbl 1253.03018 Peliš, Michal (ed.), The Logica yearbook 2009. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 22–26, 2009. London: College Publications (ISBN 978-1-84890-009-7/pbk). 223-229 (2010). MSC: 03A05 PDF BibTeX XML Cite \textit{G. Restall}, in: The Logica yearbook 2009. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 22--26, 2009. London: College Publications. 223--229 (2010; Zbl 1253.03018) OpenURL
Bianchi, Andrea Dicing with Saul Kripke. (English) Zbl 1217.03007 Erkenntnis 73, No. 2, 237-249 (2010). MSC: 03A05 PDF BibTeX XML Cite \textit{A. Bianchi}, Erkenntnis 73, No. 2, 237--249 (2010; Zbl 1217.03007) Full Text: DOI OpenURL
Sauchelli, Andrea Concrete possible worlds and counterfactual conditionals: Lewis versus Williamson on modal knowledge. (English) Zbl 1214.03006 Synthese 176, No. 3, 345-359 (2010). MSC: 03A05 03A10 PDF BibTeX XML Cite \textit{A. Sauchelli}, Synthese 176, No. 3, 345--359 (2010; Zbl 1214.03006) Full Text: DOI OpenURL
Bradley, Richard Proposition-valued random variables as information. (English) Zbl 1214.03007 Synthese 175, Suppl. 1, 17-38 (2010). MSC: 03A10 03B48 60A99 PDF BibTeX XML Cite \textit{R. Bradley}, Synthese 175, 17--38 (2010; Zbl 1214.03007) Full Text: DOI Link OpenURL
Floridi, Luciano Information, possible worlds and the cooptation of scepticism. (English) Zbl 1214.03004 Synthese 175, Suppl. 1, 63-88 (2010). MSC: 03A05 03A10 94A15 PDF BibTeX XML Cite \textit{L. Floridi}, Synthese 175, 63--88 (2010; Zbl 1214.03004) Full Text: DOI Link OpenURL
Shaffer, Michael J.; Morris, Jeremy The epistemic inadequacy of ersatzer possible world semantics. (English) Zbl 1203.03014 Log. Anal., Nouv. Sér. 53, No. 209, 61-76 (2010). MSC: 03A05 03B65 PDF BibTeX XML Cite \textit{M. J. Shaffer} and \textit{J. Morris}, Log. Anal., Nouv. Sér. 53, No. 209, 61--76 (2010; Zbl 1203.03014) OpenURL
Parent, Xavier A complete axiom set for Hansson’s deontic logic DSDL2. (English) Zbl 1218.03021 Log. J. IGPL 18, No. 3, 422-429 (2010). Reviewer: David Makinson (London) MSC: 03B45 PDF BibTeX XML Cite \textit{X. Parent}, Log. J. IGPL 18, No. 3, 422--429 (2010; Zbl 1218.03021) Full Text: DOI Link OpenURL
Elbourne, Paul Why propositions might be sets of truth-supporting circumstances. (English) Zbl 1189.03008 J. Philos. Log. 39, No. 1, 101-111 (2010). MSC: 03A05 PDF BibTeX XML Cite \textit{P. Elbourne}, J. Philos. Log. 39, No. 1, 101--111 (2010; Zbl 1189.03008) Full Text: DOI OpenURL
Lednikov, E. E. Semantics of first-order dynamic logic. (Russian. English summary) Zbl 1195.03022 Karpenko, A.S. (ed.), Логические исследования. 15. Moskva: Nauka (ISBN 978-5-02-036826-2/hbk). 129-136 (2009). MSC: 03B42 PDF BibTeX XML Cite \textit{E. E. Lednikov}, in: Logicheskie issledovaniya. 15. Moskva: Nauka. 129--136 (2009; Zbl 1195.03022) OpenURL
Menchaca García, Felipe Rolando; Contreras Hernández, Salvador Knowledge system for application of computer security rules. (English) Zbl 1191.68131 Herrero, Álvaro (ed.) et al., Computational intelligence in security for information systems. CISIS’09, 2nd international workshop, Burgos, Spain, September 23–26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04090-0/pbk; 978-3-642-04091-7/ebook). Advances in Intelligent and Soft Computing 63, 9-17 (2009). MSC: 68M99 PDF BibTeX XML Cite \textit{F. R. Menchaca García} and \textit{S. Contreras Hernández}, Adv. Intell. Soft Comput. 63, 9--17 (2009; Zbl 1191.68131) Full Text: DOI OpenURL
Sedlar, Igor C. I. Lewis on possible worlds. (English) Zbl 1187.03005 Hist. Philos. Log. 30, No. 3, 283-291 (2009). MSC: 03-03 01A60 03B45 PDF BibTeX XML Cite \textit{I. Sedlar}, Hist. Philos. Log. 30, No. 3, 283--291 (2009; Zbl 1187.03005) Full Text: DOI OpenURL
Dekhtyar, Alex; Dekhtyar, Michael I. The theory of interval probabilistic logic programs. (English) Zbl 1182.68038 Ann. Math. Artif. Intell. 55, No. 3-4, 355-388 (2009). MSC: 68N17 68T27 PDF BibTeX XML Cite \textit{A. Dekhtyar} and \textit{M. I. Dekhtyar}, Ann. Math. Artif. Intell. 55, No. 3--4, 355--388 (2009; Zbl 1182.68038) Full Text: DOI Link OpenURL
Pereira-Fariña, Martín A revision about the concept of intentionality in an approximate framework. (English) Zbl 1177.03034 Mathware Soft Comput. 16, No. 1, 5-15 (2009). MSC: 03B52 68T37 PDF BibTeX XML Cite \textit{M. Pereira-Fariña}, Mathware Soft Comput. 16, No. 1, 5--15 (2009; Zbl 1177.03034) Full Text: EuDML OpenURL
Fitting, Melvin Reasoning with justifications. (English) Zbl 1166.03006 Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 107-123 (2009). Reviewer: Max A. Freund (San José) MSC: 03B42 00A30 03A05 03B45 03F40 PDF BibTeX XML Cite \textit{M. Fitting}, in: Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1--4, 2006. Berlin: Springer. 107--123 (2009; Zbl 1166.03006) Full Text: DOI OpenURL
Goldblatt, Robert; Hodkinson, Ian Commutativity of quantifiers in varying-domain Kripke models. (English) Zbl 1167.03016 Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 9-30 (2009). Reviewer: Max A. Freund (San José) MSC: 03B45 PDF BibTeX XML Cite \textit{R. Goldblatt} and \textit{I. Hodkinson}, in: Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1--4, 2006. Berlin: Springer. 9--30 (2009; Zbl 1167.03016) Full Text: DOI OpenURL
Benz, Anton Assertions in AFA set theory. (English) Zbl 1226.03038 Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 143-176 (2008). MSC: 03B65 03B42 03E70 PDF BibTeX XML Cite \textit{A. Benz}, Stud. Log. (Lond.) 14, 143--176 (2008; Zbl 1226.03038) OpenURL
Carnielli, Walter; Pizzi, Claudio [Bueno-Soler, Juliana] Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. (English) Zbl 1210.03017 Logic, Epistemology, and the Unity of Science 12. Berlin: Springer (ISBN 978-1-4020-8589-5/hbk; 978-1-4020-8590-1/ebook). xiii, 303 p. (2008). Reviewer: Max A. Freund (San José) MSC: 03B45 03-01 03A05 03B42 03B44 PDF BibTeX XML Cite \textit{W. Carnielli} and \textit{C. Pizzi}, Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. Berlin: Springer (2008; Zbl 1210.03017) Full Text: DOI OpenURL
Fara, Delia Graff Relative-sameness counterpart theory. (English) Zbl 1204.03006 Rev. Symb. Log. 1, No. 2, 167-189 (2008). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{D. G. Fara}, Rev. Symb. Log. 1, No. 2, 167--189 (2008; Zbl 1204.03006) Full Text: DOI OpenURL
Jespersen, Bjørn Predication and extensionalization. (English) Zbl 1173.03007 J. Philos. Log. 37, No. 5, 479-499 (2008). Reviewer: Pavel Materna (Praha) MSC: 03A05 PDF BibTeX XML Cite \textit{B. Jespersen}, J. Philos. Log. 37, No. 5, 479--499 (2008; Zbl 1173.03007) Full Text: DOI Link OpenURL
Glüer, Kathrin; Pagin, Peter Relational modality. (English) Zbl 1169.03007 J. Logic Lang. Inf. 17, No. 3, 307-322 (2008). Reviewer: Pavel Materna (Praha) MSC: 03A05 03B45 03B65 PDF BibTeX XML Cite \textit{K. Glüer} and \textit{P. Pagin}, J. Logic Lang. Inf. 17, No. 3, 307--322 (2008; Zbl 1169.03007) Full Text: DOI Link OpenURL
Mancilla, Blanca; Plaice, John Possible worlds versioning. (English) Zbl 1160.68338 Math. Comput. Sci. 2, No. 1, 63-83 (2008). MSC: 68N19 PDF BibTeX XML Cite \textit{B. Mancilla} and \textit{J. Plaice}, Math. Comput. Sci. 2, No. 1, 63--83 (2008; Zbl 1160.68338) Full Text: DOI OpenURL
Koutras, Costas D.; Nomikos, Christos; Peppas, Pavlos On a simple 3-valued modal language and a 3-valued logic of ‘not-fully-justified’ belief. (English) Zbl 1169.03017 Log. J. IGPL 16, No. 6, 591-604 (2008). Reviewer: Max A. Freund (San José) MSC: 03B42 03B45 03B50 68Q17 PDF BibTeX XML Cite \textit{C. D. Koutras} et al., Log. J. IGPL 16, No. 6, 591--604 (2008; Zbl 1169.03017) Full Text: DOI OpenURL
Cross, Charles B. Antecedent-relative comparative world similarity. (English) Zbl 1136.03004 J. Philos. Log. 37, No. 2, 101-120 (2008). MSC: 03A05 PDF BibTeX XML Cite \textit{C. B. Cross}, J. Philos. Log. 37, No. 2, 101--120 (2008; Zbl 1136.03004) Full Text: DOI OpenURL
Miyazaki, Yutaka A splitting logic in NExt(KTB). (English) Zbl 1130.03016 Stud. Log. 85, No. 3, 381-394 (2007). Reviewer: Max A. Freund (San José) MSC: 03B45 03G25 PDF BibTeX XML Cite \textit{Y. Miyazaki}, Stud. Log. 85, No. 3, 381--394 (2007; Zbl 1130.03016) Full Text: DOI OpenURL
Diaconescu, Răzvan; Stefaneas, Petros Ultraproducts and possible worlds semantics in institutions. (English) Zbl 1124.03047 Theor. Comput. Sci. 379, No. 1-2, 210-230 (2007). Reviewer: Dimitru Buşneag (Craiova) MSC: 03G30 03B45 68Q65 PDF BibTeX XML Cite \textit{R. Diaconescu} and \textit{P. Stefaneas}, Theor. Comput. Sci. 379, No. 1--2, 210--230 (2007; Zbl 1124.03047) Full Text: DOI Link OpenURL
Muskens, Reinhard Intensional models for the theory of types. (English) Zbl 1116.03008 J. Symb. Log. 72, No. 1, 98-118 (2007). MSC: 03B15 03B45 03F05 03B65 PDF BibTeX XML Cite \textit{R. Muskens}, J. Symb. Log. 72, No. 1, 98--118 (2007; Zbl 1116.03008) Full Text: DOI arXiv OpenURL
Smith, Martin Ceteris paribus conditionals and comparative normalcy. (English) Zbl 1112.03006 J. Philos. Log. 36, No. 1, 97-121 (2007). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{M. Smith}, J. Philos. Log. 36, No. 1, 97--121 (2007; Zbl 1112.03006) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{L. Humberstone}, J. Philos. Log. 36, No. 1, 1--32 (2007; Zbl 1113.03009) Full Text: DOI OpenURL
Pérez Otero, Manuel Particularist traits in modal discourse. (Aspectos particularistas en el discurso modal.) (Spanish. English summary) Zbl 1113.03303 Theoria, Segunda Epoca 21, No. 56, 213-232 (2006). MSC: 03A05 PDF BibTeX XML Cite \textit{M. Pérez Otero}, Theoria, Segunda Epoca 21, No. 56, 213--232 (2006; Zbl 1113.03303) OpenURL
Blackburn, P.; ten Cate, B. Pure extensions, proof rules, and hybrid axiomatics. (English) Zbl 1115.03009 Stud. Log. 84, No. 2, 277-322 (2006). Reviewer: Max A. Freund (San José) MSC: 03B45 PDF BibTeX XML Cite \textit{P. Blackburn} and \textit{B. ten Cate}, Stud. Log. 84, No. 2, 277--322 (2006; Zbl 1115.03009) Full Text: DOI OpenURL
Shaffer, Michael J.; Morris, Jeremy A paradox for possible worlds semantics. (English) Zbl 1112.03005 Log. Anal., Nouv. Sér. 49, No. 195, 307-317 (2006). Reviewer: Max A. Freund (San José) MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{M. J. Shaffer} and \textit{J. Morris}, Log. Anal., Nouv. Sér. 49, No. 195, 307--317 (2006; Zbl 1112.03005) OpenURL
Meyer, Ulrich Worlds and times. (English) Zbl 1107.03014 Notre Dame J. Formal Logic 47, No. 1, 25-37 (2006). MSC: 03B44 03B45 03C80 PDF BibTeX XML Cite \textit{U. Meyer}, Notre Dame J. Formal Logic 47, No. 1, 25--37 (2006; Zbl 1107.03014) Full Text: DOI OpenURL
Zanardo, Alberto Quantification over sets of possible worlds in branching-time semantics. (English) Zbl 1103.03019 Stud. Log. 82, No. 3, 379-400 (2006). MSC: 03B44 PDF BibTeX XML Cite \textit{A. Zanardo}, Stud. Log. 82, No. 3, 379--400 (2006; Zbl 1103.03019) Full Text: DOI OpenURL
Pietarinen, Ahti-Veikko Peirce’s contributions to possible-worlds semantics. (English) Zbl 1103.03003 Stud. Log. 82, No. 3, 345-369 (2006). MSC: 03-03 01A55 01A60 PDF BibTeX XML Cite \textit{A.-V. Pietarinen}, Stud. Log. 82, No. 3, 345--369 (2006; Zbl 1103.03003) Full Text: DOI OpenURL
Hansson, Sven Ove Ideal worlds – wishful thinking in deontic logic. (English) Zbl 1103.03007 Stud. Log. 82, No. 3, 329-336 (2006). MSC: 03A05 PDF BibTeX XML Cite \textit{S. O. Hansson}, Stud. Log. 82, No. 3, 329--336 (2006; Zbl 1103.03007) Full Text: DOI OpenURL
Cresswell, Maxwell J. From modal discourse to possible worlds. (English) Zbl 1103.03006 Stud. Log. 82, No. 3, 307-327 (2006). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{M. J. Cresswell}, Stud. Log. 82, No. 3, 307--327 (2006; Zbl 1103.03006) Full Text: DOI OpenURL
Proudfoot, Diane Possible worlds semantics and fiction. (English) Zbl 1101.03311 J. Philos. Log. 35, No. 1, 9-40 (2006). MSC: 03A05 PDF BibTeX XML Cite \textit{D. Proudfoot}, J. Philos. Log. 35, No. 1, 9--40 (2006; Zbl 1101.03311) Full Text: DOI OpenURL
Miroiu, Adrian World-indexed sentences and modality. (English) Zbl 1084.03006 Log. Anal., Nouv. Sér. 48, No. 189-192, 209-221 (2005). MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{A. Miroiu}, Log. Anal., Nouv. Sér. 48, No. 189--192, 209--221 (2005; Zbl 1084.03006) OpenURL
Halbach, Volker; Leitgeb, Hannes; Welch, Philip Possible worlds semantics for predicates. (English) Zbl 1096.03017 Kahle, Reinhard (ed.), Intensionality. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-276-1/hbk; 1-56881-268-X/pbk). Lecture Notes in Logic 22, 20-41 (2005). MSC: 03B45 03A05 03C62 PDF BibTeX XML Cite \textit{V. Halbach} et al., Lect. Notes Log. 22, 20--41 (2005; Zbl 1096.03017) OpenURL
Forster, Thomas The modal aether. (English) Zbl 1089.03008 Kahle, Reinhard (ed.), Intensionality. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-276-1/hbk; 1-56881-268-X/pbk). Lecture Notes in Logic 22, 1-19 (2005). Reviewer: Heinrich Wansing (Dresden) MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{T. Forster}, Lect. Notes Log. 22, 1--19 (2005; Zbl 1089.03008) OpenURL
Schumm, George F. An alleged problem for possible worlds semantics. (English) Zbl 1077.03005 Analysis, Oxf. 65, No. 1, 62-69 (2005). Reviewer: Heinrich Wansing (Dresden) MSC: 03A05 03B45 PDF BibTeX XML Cite \textit{G. F. Schumm}, Analysis, Oxf. 65, No. 1, 62--69 (2005; Zbl 1077.03005) Full Text: DOI OpenURL
Salmon, Nathan Metaphysics, mathematics, and meaning. Philosophical papers. Vol. I. (English) Zbl 1083.03007 Oxford: Oxford University Press (ISBN 0-19-928471-7/pbk; 0-19-928176-9/hbk). xiv, 419 p. (2005). Reviewer: Pavel Materna (Praha) MSC: 03-06 03A05 00A30 00B60 01A75 PDF BibTeX XML Cite \textit{N. Salmon}, Metaphysics, mathematics, and meaning. Philosophical papers. Vol. I. Oxford: Oxford University Press (2005; Zbl 1083.03007) OpenURL