This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related

Contents
2930 found
Order:
1 — 50 / 2930
Material to categorize
  1. What does nihilism tell us about modal logic?Christopher James Masterman - 2024 - Philosophical Studies:1-25.
    Brauer (2022) has recently argued that if it is possible that there is nothing, then the correct modal logic for metaphysical modality cannot include D. Here, I argue that Brauer’s argument is unsuccessful; or at the very least significantly weaker than presented. First, I outline a simple argument for why it is not possible that there is nothing. I note that this argument has a well-known solution involving the distinction between truth in and truth at a possible world. However, I (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Arithmetic is Necessary.Zachary Goodsell - forthcoming - Journal of Philosophical Logic.
    (Goodsell, Journal of Philosophical Logic, 51(1), 127-150 2022) establishes the noncontingency of sentences of first-order arithmetic, in a plausible higher-order modal logic. Here, the same result is derived using significantly weaker assumptions. Most notably, the assumption of rigid comprehension—that every property is coextensive with a modally rigid one—is weakened to the assumption that the Boolean algebra of properties under necessitation is countably complete. The results are generalized to extensions of the language of arithmetic, and are applied to answer a question (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. Exact Truthmaker Semantics for Modal Logics.Dongwoo Kim - 2024 - Journal of Philosophical Logic 53 (3):789-829.
    The present paper attempts to provide an exact truthmaker semantical analysis of modalized propositions. According to the present proposal, an exact truthmaker for “Necessarily _P_” is a state that bans every exact truthmaker for “Not _P_”, and an exact truthmaker for “Possibly _P_” is a state that allows an exact truthmaker for _P_. Based on this proposal, a formal semantics will be developed; and the soundness and completeness results for a well-known family of the systems of normal modal propositional logic (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Profiniteness, monadicity and universal models in modal logic.Matteo De Berardinis & Silvio Ghilardi - 2024 - Annals of Pure and Applied Logic 175 (7):103454.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Advances in Modal Logic 13. Booklet of Short Papers.Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.) - 2020 - Helsinki:
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  6. A study of modal logic with semantics based on rough set theory.Md Aquil Khan, Ranjan & Amal Talukdar - 2024 - Journal of Applied Non-Classical Logics 34 (2):223-247.
    Volume 34, Issue 2-3, June - September 2024.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Ruth Barcan Marcus on the Deduction Theorem in Modal Logic.Roberta Ballarin - forthcoming - History and Philosophy of Logic:1-21.
    In this paper, I examine Ruth Barcan Marcus's early formal work on modal systems and the deduction theorem, both for the material and the strict conditional. Marcus proved that the deduction theorem for the material conditional does not hold for system S2 but holds for S4. This last result is at odds with the recent claim that without proper restrictions the deduction theorem fails also for S4. I explain where the contrast stems from. For the strict conditional, Marcus proved the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Refutations and Proofs in the Paraconsistent Modal Logics: KN4 and KN4.D.Tomasz Skura - forthcoming - Studia Logica:1-24.
    Axiomatic proof/refutation systems for the paraconsistent modal logics: KN4 and KN4.D are presented. The completeness proofs boil down to showing that every sequent is either provable or refutable. By constructing finite tree-type countermodels from refutations, the refined characterizations of these logics by classes of finite tree-type frames are established. The axiom systems also provide decision procedures for these logics.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Quantified Modal Logics: One Approach to Rule (Almost) them All!Eugenio Orlandelli - forthcoming - Journal of Philosophical Logic:1-38.
    We present a general approach to quantified modal logics that can simulate most other approaches. The language is based on operators indexed by terms which allow to express de re modalities and to control the interaction of modalities with the first-order machinery and with non-rigid designators. The semantics is based on a primitive counterpart relation holding between n-tuples of objects inhabiting possible worlds. This allows an object to be represented by one, many, or no object in an accessible world. Moreover (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Modal translation: the relevance of worlds.Paul Hanmer - 2023 - Wilmington, Delaware: Vernon Press.
    This book concerns the philosophical analysis of modal sentences. David Lewis' Modal Translation Scheme 'translates' sentences of quantified modal logic into sentences of predicate logic supplemented by counterpart theory. A number of theoretical advantages are thereby secured. One component of the translation scheme makes reference to non-actual but possible worlds i.e. the primitive predicate "at a world(s), w". The author addresses the problem of advanced modal sentences which threaten this predicate and so the ability of genuine realism to secure the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. An introduction to classical and modal logics: the outlines of knowledge.Adam Bjorndahl - 2024 - [New York]: Cambridge University Press.
    This lively and accessible textbook provides a comprehensive and unified introduction to classical and modal logics, treating them with the same level of rigour and detail and showing how they fit together. A fully self-contained learning resource, it will be ideal for upper-level university courses.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. 8 Valued Non-Deterministic Semantics for Modal Logics.Pawel Pawlowski & Daniel Skurt - 2024 - Journal of Philosophical Logic 53 (2):351-371.
    The aim of this paper is to study a particular family of non-deterministic semantics for modal logics that has eight truth-values. These eight-valued semantics can be traced back to Omori and Skurt (2016), where a particular member of this family was used to characterize the normal modal logic K. The truth-values in these semantics convey information about a proposition’s truth/falsity, whether the proposition is necessary/not necessary, and whether it is possible/not possible. Each of these triples is represented by a unique (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Counting to Infinity: Graded Modal Logic with an Infinity Diamond.Ignacio Bellas Acosta & Yde Venema - 2024 - Review of Symbolic Logic 17 (1):1-35.
    We extend the languages of both basic and graded modal logic with the infinity diamond, a modality that expresses the existence of infinitely many successors having a certain property. In both cases we define a natural notion of bisimilarity for the resulting formalisms, that we dub $\mathtt {ML}^{\infty }$ and $\mathtt {GML}^{\infty }$, respectively. We then characterise these logics as the bisimulation-invariant fragments of the naturally corresponding predicate logic, viz., the extension of first-order logic with the infinity quantifier. Furthermore, for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - 2024 - Review of Symbolic Logic 17 (1):244-271.
    Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic.Minghui Ma & Juntong Guo - forthcoming - Studia Logica:1-30.
    Quasi-Boolean modal algebras are quasi-Boolean algebras with a modal operator satisfying the interaction axiom. Sequential quasi-Boolean modal logics and the relational semantics are introduced. Kripke-completeness for some quasi-Boolean modal logics is shown by the canonical model method. We show that every descriptive persistent quasi-Boolean modal logic is canonical. The finite model property of some quasi-Boolean modal logics is proved. A cut-free Gentzen sequent calculus for the minimal quasi-Boolean logic is developed and we show that it has the Craig interpolation property.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Base-extension semantics for modal logic.Timo Eckhardt & David J. Pym - forthcoming - Logic Journal of the IGPL.
    In proof-theoretic semantics, meaning is based on inference. It may seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems |$K$|⁠, |$KT$|⁠, |$K4$| and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Hyperintensionality and Overfitting.Francesco Berto - 2024 - Synthese 1 (4):1-21.
    A hyperintensional epistemic logic would take the contents which can be known or believed as more fine-grained than sets of possible worlds. I consider one objection to the idea: Williamson’s Objection from Overfitting. I propose a hyperintensional account of propositions as sets of worlds enriched with topics: what those propositions, and so the attitudes having them as contents, are about. I show that the account captures the conditions under which sentences express the same content; that it can be pervasively applied (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic.Marcelo E. Coniglio & Martin Figallo - forthcoming - Logic and Logical Philosophy:1-33.
    Tetravalent modal logic (TML) was introduced by Font and Rius in 2000. It is an expansion of the Belnap-Dunn four-valued logic FOUR, a logical system that is well-known for the many applications found in several fields. Besides, TML is the logic that preserves degrees of truth with respect to Monteiro’s tetravalent modal algebras. Among other things, Font and Rius showed that TML has a strongly adequate sequent system, but unfortunately this system does not enjoy the cut-elimination property. However, in a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Paraconsistent modal logics.Umberto Rivieccio - 2011 - Electronic Notes in Theoretical Computer Science 278:173-186.
    We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twiststructures, generalizing a known result on the representation of the algebraic counterpart of paraconsistent Nelson logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.
    In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT , (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. Responses.Robert Stalnaker - 2006 - In Judith Jarvis Thomson & Alex Byrne (eds.), Content and modality: themes from the philosophy of Robert Stalnaker. New York: Oxford University Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark   5 citations  
  22. Actors and zombies.Daniel Stoljar - 2006 - In Judith Jarvis Thomson & Alex Byrne (eds.), Content and modality: themes from the philosophy of Robert Stalnaker. New York: Oxford University Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark   4 citations  
  23. Linear Abelian Modal Logic.Hamzeh Mohammadi - 2024 - Bulletin of the Section of Logic 53 (1):1-28.
    A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic \(\rm \mathbf{LK(A)}\) is axiomatized by extending \(\rm \mathbf{K(A)}\) with the modal axiom schemas \(\Box(\varphi\vee\psi)\rightarrow(\Box\varphi\vee\Box\psi)\) and \((\Box\varphi\wedge\Box\psi)\rightarrow\Box(\varphi\wedge\psi)\). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. The Foundations of Modality: From Propositions to Possible Worlds.Peter Fritz - 2023 - Oxford: Oxford University Press.
    This book develops an argument for a foundational theory of modality using higher-order logic. The use of higher-order logic in metaphysics is motivated, and a particular higher-order logic is introduced. Fine-grained theories of propositional individuation are shown to be problematic, and a course-grained theory of propositional individuation is defended. On the basis of this theory, it is argued that the metaphysical necessities can be delineated using purely logical terms; by adding an actuality operator, it is shown that the logic of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Correction to: Decidability of Modal Logics of Non-k-Colorable Graphs.Ilya Shapirovsky - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. Fictional Names Revisited.Panu Raatikainen - 2023 - In _Essays in the Philosophy of Language._ Acta Philosophica Fennica Vol. 100. Helsinki: Societas Philosophica Fennica. pp. 227–246.
    Several philosophers including Kripke have contended that fictional entities do exist as abstract objects, and fictional names refer to such abstract entities. Kripke and Thomasson compare fictional entities to existing social entities. Kripke also reflects on fictions inside fictions to support his view. Many philosophers appeal to the apparent fact that we quantify over fictional entities. Such arguments in favor of the existence of fictional entities are critically scrutinized. It is argued that they are much less compelling than their proponents (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. Fractional-Valued Modal Logic.Mario Piazza, Gabriele Pulcini & Matteo Tesi - 2023 - Review of Symbolic Logic 16 (4):1033-1052.
    This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval $[0,1]$. Focusing on the modal logic K, the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an informational refinement with respect to the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic.Zhiguang Zhao - 2023 - Studia Logica 111 (6):1057-1082.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Substitutional Validity for Modal Logic.Marco Grossi - 2023 - Notre Dame Journal of Formal Logic 64 (3):291-316.
    In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. Modal Logic for Relationships between Sets.Nino Guallart - 2023 - Revista de Humanidades de Valparaíso 22:23-38.
    En este artículo, presentamos un sistema de lógica modal que permite representar relaciones entre conjuntos o clases de individuos definidos por una propiedad específica. Introducimos dos operadores modales, [a] y, que se utilizan respectivamente para expresar "para todo A" y "existe un A". Tanto la sintaxis como la semántica del sistema tienen dos niveles que evitan el anidamiento del operador modal. La semántica se basa en una variante de la semántica de Kripke, en donde los operadores modales se indexan sobre (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Losing connection: the modal logic of definable link deletion.Li Dazhu - 2020 - Journal of Logic and Computation 30 (3):715–743.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  32. Positive modal logic beyond distributivity.Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (2):103374.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Geometric Modal Logic.Brice Halimi - 2023 - Notre Dame Journal of Formal Logic 64 (3):377-406.
    The purpose of this paper is to generalize Kripke semantics for propositional modal logic by geometrizing it, that is, by considering the space underlying the collection of all possible worlds as an important semantic feature in its own right, so as to take the idea of accessibility seriously. The resulting new modal semantics is worked out in a setting coming from Riemannian geometry, where Kripke semantics is shown to correspond to a particular case, namely, the discrete one. Several correspondence results, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp. [REVIEW]Bruno Bentzen - 2023 - Bulletin of Symbolic Logic 29 (3):456-457.
  35. Decidability of Modal Logics of Non-k-Colorable Graphs.Ilya Shapirovsky - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz (eds.), Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland. pp. 351-361.
    We consider the bimodal language, where the first modality is interpreted by a binary relation in the standard way, and the second is interpreted by the relation of inequality. It follows from Hughes (1990), that in this language, non-k-colorability of a graph is expressible for every finite k. We show that modal logics of classes of non-k-colorable graphs (directed or non-directed), and some of their extensions, are decidable.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. Filosofski problemi v modalnata logika: spet︠s︡ifichni problemi, svŭrzani s razlichnite modalni logiki.Evgeni Latinov - 2015 - Sofii︠a︡: Universitetsko izdatelstvo "Sv. Kliment Okhridski".
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. Fractional-Valued Modal Logic and Soft Bilateralism.Mario Piazza, Gabriele Pulcini & Matteo Tesi - 2023 - Bulletin of the Section of Logic 52 (3):275-299.
    In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy. [REVIEW]A. Klev & C. Zwanziger - 2022 - History and Philosophy of Logic 44 (3):337-342.
    1. The theory referred to by the—perhaps intimidating—main title of this book is an extension of Per Martin-Löf's dependent type theory. Much philosophical work pertaining to dependent type theory...
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  39. Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.Norihiro Kamide - 2023 - Journal of Logic, Language and Information 32 (3):395-440.
    Falsification-aware (hyper)sequent calculi and Kripke semantics for normal modal logics including S4 and S5 are introduced and investigated in this study. These calculi and semantics are constructed based on the idea of a falsification-aware framework for Nelson’s constructive three-valued logic. The cut-elimination and completeness theorems for the proposed calculi and semantics are proved.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Deduction Theorem in Congruential Modal Logics.Krzysztof A. Krawczyk - 2023 - Notre Dame Journal of Formal Logic 64 (2):185-196.
    We present an algebraic proof of the theorem stating that there are continuum many axiomatic extensions of global consequence associated with modal system E that do not admit the local deduction detachment theorem. We also prove that all these logics lack the finite frame property and have exactly three proper axiomatic extensions, each of which admits the local deduction detachment theorem.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Thin Mereological Sums, Abstraction, and Interpretational Modalities.Giorgio Lando - 2023 - Theoria 89 (3):1-18.
    Some tools introduced by Linnebo to show that mathematical entities are thin objects can also be applied to non-mathematical entities, which have been thought to be thin as well for a variety of reasons. In this paper, I discuss some difficulties and opportunities concerning the application of abstraction and interpretational modalities to mereological sums. In particular, I show that on one hand some prima facie attractive candidates for the role of an explanatory plural abstraction principle for mereological sums (in terms (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42. Notas preliminares sobre convención y modalidad.Gregorio Klimovsky - 1976 - Buenos Aires: Instituto Torcuato Di Tella, Centro de Investigaciones Sociales. Edited by Raúl Orayen.
    Klimovsky, G. Notas preliminares sobre convención y modalidad.--Orayen, R. Comentario del trabajo del profesor G. Klimovsky "Notas preliminares sobre convención y modalidad".--Klimovsky, G. Respuesta al Comentario del profesor Raúl Orayen.--Orayen, R. Acerca de la adecuación de los modelos formales de la explicación científica.--Klimovsky, G. Comentario del trabajo del profesor Raúl Orayen, "Acerca de la adecuación de los modelos formales de la explicación científica".--Orayen, R. Respuesta al Comentario del profesor G. Klimovsky.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  43. Metaphysics and Higher-Order Modal Logic.Timothy Williamson - 2011 - In Christian Kanzian, Winfried Löffler & Josef Quitterer (eds.), The Ways Things Are: Studies in Ontology. Ontos. pp. 17-36.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  44. Jodocus Trutfetter’s Conception of Modal Logic.Henrik Svensson - 1997 - In Jan Aertsen & Andreas Speer (eds.), Was ist Philosophie im Mittelalter? Qu'est-ce que la philosophie au moyen âge? What is Philosophy in the Middle Ages?: Akten des X. Internationalen Kongresses für Mittelalterliche Philosophie der Société Internationale pour l'Etude de la Philosophie Médié. Erfurt: De Gruyter. pp. 829-838.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  45. Poni︠a︡tie obʺekta v modalʹnoĭ logike.V. V. T︠S︡elishchev - 1978 - Novosibirsk: Nauka, Sib. otd-nie.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  46. Yōsō no ronri.Taneomi Uchida - 1978
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  47. Ėlementy modalʹnoĭ logiki.Vladimir Nikolaevich Kosti︠u︡k - 1978 - Kiev: Nauk. dumka.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  48. Luonto ja legitimaatio: normatiivisten asiantilojen johtaminen aristotelisen luonnonoikeustradition mukaan.Hannu Tolonen - 1984 - [Helsinki]: Akateeminen kirjakauppa [distributor.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  49. Mo tai luo ji yin lun.Liquan Zhou - 1986 - Shanghai: Xin hua shu dian Shanghai fa xing suo fa xing.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  50. Modalność w logice i w filozofii: podstawy ontyczne.Urszula M. Żegleń - 1990 - Warszawa: Polskie Tow. Semiotyczne.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 2930