Articles de revues sur le sujet « Propositional Quantifiers »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Propositional Quantifiers ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
FINE, KIT. « Propositional quantifiers in modal logic1 ». Theoria 36, no 3 (11 février 2008) : 336–46. http://dx.doi.org/10.1111/j.1755-2567.1970.tb00432.x.
Texte intégralGolińska-Pilarek, Joanna, et Taneli Huuskonen. « Non-Fregean Propositional Logic with Quantifiers ». Notre Dame Journal of Formal Logic 57, no 2 (2016) : 249–79. http://dx.doi.org/10.1215/00294527-3470547.
Texte intégralArtemov, Sergei N., et Lev D. Beklemishev. « On propositional quantifiers in provability logic. » Notre Dame Journal of Formal Logic 34, no 3 (juin 1993) : 401–19. http://dx.doi.org/10.1305/ndjfl/1093634729.
Texte intégralLeivant, Daniel. « Propositional Dynamic Logic with Program Quantifiers ». Electronic Notes in Theoretical Computer Science 218 (octobre 2008) : 231–40. http://dx.doi.org/10.1016/j.entcs.2008.10.014.
Texte intégralCrawford, Sean. « Quantifiers and propositional attitudes : Quine revisited ». Synthese 160, no 1 (15 février 2007) : 75–96. http://dx.doi.org/10.1007/s11229-006-9080-6.
Texte intégralO'Hearn, Peter W., et David J. Pym. « The Logic of Bunched Implications ». Bulletin of Symbolic Logic 5, no 2 (juin 1999) : 215–44. http://dx.doi.org/10.2307/421090.
Texte intégralZhang, Cheng. « How to Deduce the Other 91 Valid Aristotelian Modal Syllogisms from the Syllogism IAI-3 ». Applied Science and Innovative Research 7, no 1 (27 janvier 2023) : p46. http://dx.doi.org/10.22158/asir.v7n1p46.
Texte intégralPascucci, Matteo. « Propositional quantifiers in labelled natural deduction for normal modal logic ». Logic Journal of the IGPL 27, no 6 (25 avril 2019) : 865–94. http://dx.doi.org/10.1093/jigpal/jzz008.
Texte intégralMontagna, Franco. « Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation ». Studia Logica 100, no 1-2 (9 février 2012) : 289–317. http://dx.doi.org/10.1007/s11225-012-9379-x.
Texte intégralRönnedal, Daniel. « The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers ». Australasian Journal of Logic 17, no 1 (7 avril 2020) : 22. http://dx.doi.org/10.26686/ajl.v17i1.5674.
Texte intégralKREMER, PHILIP. « COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS ». Review of Symbolic Logic 11, no 3 (septembre 2018) : 507–18. http://dx.doi.org/10.1017/s1755020318000229.
Texte intégralBílková, Marta. « Uniform Interpolation and Propositional Quantifiers in Modal Logics ». Studia Logica 85, no 1 (1 février 2007) : 1–31. http://dx.doi.org/10.1007/s11225-007-9021-5.
Texte intégralFitting, Melvin. « Strict/Tolerant Family Continued : Quantifiers and Modalities ». Australasian Journal of Logic 18, no 6 (24 août 2021) : 616–44. http://dx.doi.org/10.26686/ajl.v18i6.6832.
Texte intégralDing, Yifeng. « On the Logic of Belief and Propositional Quantification ». Journal of Philosophical Logic 50, no 5 (5 avril 2021) : 1143–98. http://dx.doi.org/10.1007/s10992-021-09595-8.
Texte intégralAntonelli, G. Aldo, et Richmond H. Thomason. « Representability in second-order propositional poly-modal logic ». Journal of Symbolic Logic 67, no 3 (septembre 2002) : 1039–54. http://dx.doi.org/10.2178/jsl/1190150147.
Texte intégralNAUMOV, PAVEL, et JIA TAO. « EVERYONE KNOWS THAT SOMEONE KNOWS : QUANTIFIERS OVER EPISTEMIC AGENTS ». Review of Symbolic Logic 12, no 2 (9 janvier 2019) : 255–70. http://dx.doi.org/10.1017/s1755020318000497.
Texte intégralKremer, Philip. « Quantifying over propositions in relevance logic : nonaxiomatisability of primary interpretations of ∀p and ∃p ». Journal of Symbolic Logic 58, no 1 (mars 1993) : 334–49. http://dx.doi.org/10.2307/2275341.
Texte intégralGhilardi, Silvio, et Marek Zawadowski. « Undefinability of propositional quantifiers in the modal system S4 ». Studia Logica 55, no 2 (1995) : 259–71. http://dx.doi.org/10.1007/bf01061237.
Texte intégralBale, Alan Clinton. « Quantifiers and verb phrases : An exploration of propositional complexity ». Natural Language & ; Linguistic Theory 25, no 3 (1 septembre 2007) : 447–83. http://dx.doi.org/10.1007/s11049-007-9019-8.
Texte intégralKremer, Philip. « Defining relevant implication in a propositionally quantified S4 ». Journal of Symbolic Logic 62, no 4 (décembre 1997) : 1057–69. http://dx.doi.org/10.2307/2275626.
Texte intégralBåve, Arvid. « CONCEPT DESIGNATION ». American Philosophical Quarterly 56, no 4 (1 octobre 2019) : 331–44. http://dx.doi.org/10.2307/48563047.
Texte intégralHolliday, Wesley H. « A Note on Algebraic Semantics for $\mathsf{S5}$ with Propositional Quantifiers ». Notre Dame Journal of Formal Logic 60, no 2 (mai 2019) : 311–32. http://dx.doi.org/10.1215/00294527-2019-0001.
Texte intégralPołacik, Tomasz. « Propositional quantification in the monadic fragment of intuitionistic logic ». Journal of Symbolic Logic 63, no 1 (mars 1998) : 269–300. http://dx.doi.org/10.2307/2586601.
Texte intégralFriedman, Harvey M., et Andrej Ščedrov. « On the quantificational logic of intuitionistic set theory ». Mathematical Proceedings of the Cambridge Philosophical Society 99, no 1 (janvier 1986) : 5–10. http://dx.doi.org/10.1017/s0305004100063854.
Texte intégralHausmann, Marco. « The Consequence of the Consequence Argument ». KRITERION – Journal of Philosophy 34, no 4 (1 décembre 2020) : 45–70. http://dx.doi.org/10.1515/krt-2020-340406.
Texte intégralNiiniluoto, Ilkka. « Perception, memory, and imagination as propositional attitudes ». Logical Investigations 26, no 1 (6 août 2020) : 36–47. http://dx.doi.org/10.21146/2074-1472-2020-26-1-36-47.
Texte intégralD’Agostino, Giovanna. « Uniform interpolation for propositional and modal team logics ». Journal of Logic and Computation 29, no 5 (7 mai 2019) : 785–802. http://dx.doi.org/10.1093/logcom/exz006.
Texte intégralWEISS, YALE. « CUT AND GAMMA I : PROPOSITIONAL AND CONSTANT DOMAIN R ». Review of Symbolic Logic 13, no 4 (29 août 2019) : 887–909. http://dx.doi.org/10.1017/s1755020319000388.
Texte intégralInoué, Takao, et Riku Hanaoka. « Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II ». Formalized Mathematics 30, no 1 (1 avril 2022) : 1–12. http://dx.doi.org/10.2478/forma-2022-0001.
Texte intégralDyckhoff, Roy, et Sara Negri. « Admissibility of structural rules for contraction-free systems of intuitionistic logic ». Journal of Symbolic Logic 65, no 4 (décembre 2000) : 1499–518. http://dx.doi.org/10.2307/2695061.
Texte intégralCzajka, Łukasz. « Higher-Order Illative Combinatory Logic ». Journal of Symbolic Logic 78, no 3 (septembre 2013) : 837–72. http://dx.doi.org/10.2178/jsl.7803080.
Texte intégralSCHOENBAUM, LUCIUS T. « ON THE SYNTAX OF LOGIC AND SET THEORY ». Review of Symbolic Logic 3, no 4 (15 septembre 2010) : 568–99. http://dx.doi.org/10.1017/s1755020310000122.
Texte intégralFitting, Melvin. « Interpolation for first order S5 ». Journal of Symbolic Logic 67, no 2 (juin 2002) : 621–34. http://dx.doi.org/10.2178/jsl/1190150101.
Texte intégralLewitzka, Steffen. « Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity ». Studia Logica 103, no 3 (21 septembre 2014) : 507–44. http://dx.doi.org/10.1007/s11225-014-9577-9.
Texte intégralBaltag, Alexandru, et Johan van Benthem. « A Simple Logic of Functional Dependence ». Journal of Philosophical Logic 50, no 5 (24 mars 2021) : 939–1005. http://dx.doi.org/10.1007/s10992-020-09588-z.
Texte intégralJin, Dawei. « Why-questions, topicality and intervention effects in Chinese ». Yearbook of the Poznan Linguistic Meeting 2, no 1 (1 septembre 2016) : 91–113. http://dx.doi.org/10.1515/yplm-2016-0005.
Texte intégralKonikowska, Beata, Andrzej Tarlecki et Andrzej Blikle. « A Three-Valued Logic for Software Specification and Validation. Tertium tamen datur ». Fundamenta Informaticae 14, no 4 (1 avril 1991) : 411–53. http://dx.doi.org/10.3233/fi-1991-14403.
Texte intégralPratt-Hartmann, Ian. « On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics ». Bulletin of Symbolic Logic 14, no 1 (mars 2008) : 1–28. http://dx.doi.org/10.2178/bsl/1208358842.
Texte intégralGrädel, Erich. « On the Restraining Power of Guards ». Journal of Symbolic Logic 64, no 4 (décembre 1999) : 1719–42. http://dx.doi.org/10.2307/2586808.
Texte intégralSimons, Peter. « Term Logic ». Axioms 9, no 1 (10 février 2020) : 18. http://dx.doi.org/10.3390/axioms9010018.
Texte intégralRett, Jessica. « Manner implicatures and how to spot them ». International Review of Pragmatics 12, no 1 (13 février 2020) : 44–79. http://dx.doi.org/10.1163/18773109-01201105.
Texte intégralRönnedal, Daniel. « Boulesic-Doxastic Logic ». Australasian Journal of Logic 16, no 3 (26 juin 2019) : 83. http://dx.doi.org/10.26686/ajl.v16i3.4158.
Texte intégralDu, Guoping. « Parenthesis Notation ». Journal of Research in Philosophy and History 5, no 1 (22 février 2022) : p44. http://dx.doi.org/10.22158/jrph.v5n1p44.
Texte intégralBlikle, Andrzej. « Three-Valued Predicates for Software Specification and Validation ». Fundamenta Informaticae 14, no 4 (1 avril 1991) : 387–410. http://dx.doi.org/10.3233/fi-1991-14402.
Texte intégralReis, Róbson Ramos dos. « Ways of being and expressivity ». Estudios de Filosofía, no 61 (4 février 2020) : 11–33. http://dx.doi.org/10.17533/udea.ef.n61a03.
Texte intégralBaaz, M., et N. Preining. « Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ». Journal of Logic and Computation 18, no 4 (22 novembre 2007) : 649–68. http://dx.doi.org/10.1093/logcom/exn004.
Texte intégralFRITZ, PETER. « LOGICS FOR PROPOSITIONAL CONTINGENTISM ». Review of Symbolic Logic 10, no 2 (20 mars 2017) : 203–36. http://dx.doi.org/10.1017/s1755020317000028.
Texte intégralMIMRAM, SAMUEL. « The structure of first-order causality ». Mathematical Structures in Computer Science 21, no 1 (24 janvier 2011) : 65–110. http://dx.doi.org/10.1017/s0960129510000459.
Texte intégralCUI, LICONG, YONGMING LI et XIAOHONG ZHANG. « INTUITIONISTIC FUZZY LINGUISTIC QUANTIFIERS BASED ON INTUITIONISTIC FUZZY-VALUED FUZZY MEASURES AND INTEGRALS ». International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17, no 03 (juin 2009) : 427–48. http://dx.doi.org/10.1142/s0218488509005966.
Texte intégralToffano, Zeno, et François Dubois. « Quantum eigenlogic observables applied to the study of fuzzy behaviour of Braitenberg vehicle quantum robots ». Kybernetes 48, no 10 (4 novembre 2019) : 2307–24. http://dx.doi.org/10.1108/k-11-2018-0603.
Texte intégral