Journal articles on the topic 'Propositional Quantifiers'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Propositional Quantifiers.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
FINE, KIT. "Propositional quantifiers in modal logic1." Theoria 36, no. 3 (February 11, 2008): 336–46. http://dx.doi.org/10.1111/j.1755-2567.1970.tb00432.x.
Full textGolińska-Pilarek, Joanna, and 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.
Full textArtemov, Sergei N., and Lev D. Beklemishev. "On propositional quantifiers in provability logic." Notre Dame Journal of Formal Logic 34, no. 3 (June 1993): 401–19. http://dx.doi.org/10.1305/ndjfl/1093634729.
Full textLeivant, Daniel. "Propositional Dynamic Logic with Program Quantifiers." Electronic Notes in Theoretical Computer Science 218 (October 2008): 231–40. http://dx.doi.org/10.1016/j.entcs.2008.10.014.
Full textCrawford, Sean. "Quantifiers and propositional attitudes: Quine revisited." Synthese 160, no. 1 (February 15, 2007): 75–96. http://dx.doi.org/10.1007/s11229-006-9080-6.
Full textO'Hearn, Peter W., and David J. Pym. "The Logic of Bunched Implications." Bulletin of Symbolic Logic 5, no. 2 (June 1999): 215–44. http://dx.doi.org/10.2307/421090.
Full textZhang, Cheng. "How to Deduce the Other 91 Valid Aristotelian Modal Syllogisms from the Syllogism IAI-3." Applied Science and Innovative Research 7, no. 1 (January 27, 2023): p46. http://dx.doi.org/10.22158/asir.v7n1p46.
Full textPascucci, Matteo. "Propositional quantifiers in labelled natural deduction for normal modal logic." Logic Journal of the IGPL 27, no. 6 (April 25, 2019): 865–94. http://dx.doi.org/10.1093/jigpal/jzz008.
Full textMontagna, Franco. "Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation." Studia Logica 100, no. 1-2 (February 9, 2012): 289–317. http://dx.doi.org/10.1007/s11225-012-9379-x.
Full textRönnedal, Daniel. "The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers." Australasian Journal of Logic 17, no. 1 (April 7, 2020): 22. http://dx.doi.org/10.26686/ajl.v17i1.5674.
Full textKREMER, PHILIP. "COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS." Review of Symbolic Logic 11, no. 3 (September 2018): 507–18. http://dx.doi.org/10.1017/s1755020318000229.
Full textBílková, Marta. "Uniform Interpolation and Propositional Quantifiers in Modal Logics." Studia Logica 85, no. 1 (February 1, 2007): 1–31. http://dx.doi.org/10.1007/s11225-007-9021-5.
Full textFitting, Melvin. "Strict/Tolerant Family Continued: Quantifiers and Modalities." Australasian Journal of Logic 18, no. 6 (August 24, 2021): 616–44. http://dx.doi.org/10.26686/ajl.v18i6.6832.
Full textDing, Yifeng. "On the Logic of Belief and Propositional Quantification." Journal of Philosophical Logic 50, no. 5 (April 5, 2021): 1143–98. http://dx.doi.org/10.1007/s10992-021-09595-8.
Full textAntonelli, G. Aldo, and Richmond H. Thomason. "Representability in second-order propositional poly-modal logic." Journal of Symbolic Logic 67, no. 3 (September 2002): 1039–54. http://dx.doi.org/10.2178/jsl/1190150147.
Full textNAUMOV, PAVEL, and JIA TAO. "EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS." Review of Symbolic Logic 12, no. 2 (January 9, 2019): 255–70. http://dx.doi.org/10.1017/s1755020318000497.
Full textKremer, Philip. "Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p." Journal of Symbolic Logic 58, no. 1 (March 1993): 334–49. http://dx.doi.org/10.2307/2275341.
Full textGhilardi, Silvio, and 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.
Full textBale, Alan Clinton. "Quantifiers and verb phrases: An exploration of propositional complexity." Natural Language & Linguistic Theory 25, no. 3 (September 1, 2007): 447–83. http://dx.doi.org/10.1007/s11049-007-9019-8.
Full textKremer, Philip. "Defining relevant implication in a propositionally quantified S4." Journal of Symbolic Logic 62, no. 4 (December 1997): 1057–69. http://dx.doi.org/10.2307/2275626.
Full textBåve, Arvid. "CONCEPT DESIGNATION." American Philosophical Quarterly 56, no. 4 (October 1, 2019): 331–44. http://dx.doi.org/10.2307/48563047.
Full textHolliday, Wesley H. "A Note on Algebraic Semantics for $\mathsf{S5}$ with Propositional Quantifiers." Notre Dame Journal of Formal Logic 60, no. 2 (May 2019): 311–32. http://dx.doi.org/10.1215/00294527-2019-0001.
Full textPołacik, Tomasz. "Propositional quantification in the monadic fragment of intuitionistic logic." Journal of Symbolic Logic 63, no. 1 (March 1998): 269–300. http://dx.doi.org/10.2307/2586601.
Full textFriedman, Harvey M., and Andrej Ščedrov. "On the quantificational logic of intuitionistic set theory." Mathematical Proceedings of the Cambridge Philosophical Society 99, no. 1 (January 1986): 5–10. http://dx.doi.org/10.1017/s0305004100063854.
Full textHausmann, Marco. "The Consequence of the Consequence Argument." KRITERION – Journal of Philosophy 34, no. 4 (December 1, 2020): 45–70. http://dx.doi.org/10.1515/krt-2020-340406.
Full textNiiniluoto, Ilkka. "Perception, memory, and imagination as propositional attitudes." Logical Investigations 26, no. 1 (August 6, 2020): 36–47. http://dx.doi.org/10.21146/2074-1472-2020-26-1-36-47.
Full textD’Agostino, Giovanna. "Uniform interpolation for propositional and modal team logics." Journal of Logic and Computation 29, no. 5 (May 7, 2019): 785–802. http://dx.doi.org/10.1093/logcom/exz006.
Full textWEISS, YALE. "CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R." Review of Symbolic Logic 13, no. 4 (August 29, 2019): 887–909. http://dx.doi.org/10.1017/s1755020319000388.
Full textInoué, Takao, and Riku Hanaoka. "Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II." Formalized Mathematics 30, no. 1 (April 1, 2022): 1–12. http://dx.doi.org/10.2478/forma-2022-0001.
Full textDyckhoff, Roy, and Sara Negri. "Admissibility of structural rules for contraction-free systems of intuitionistic logic." Journal of Symbolic Logic 65, no. 4 (December 2000): 1499–518. http://dx.doi.org/10.2307/2695061.
Full textCzajka, Łukasz. "Higher-Order Illative Combinatory Logic." Journal of Symbolic Logic 78, no. 3 (September 2013): 837–72. http://dx.doi.org/10.2178/jsl.7803080.
Full textSCHOENBAUM, LUCIUS T. "ON THE SYNTAX OF LOGIC AND SET THEORY." Review of Symbolic Logic 3, no. 4 (September 15, 2010): 568–99. http://dx.doi.org/10.1017/s1755020310000122.
Full textFitting, Melvin. "Interpolation for first order S5." Journal of Symbolic Logic 67, no. 2 (June 2002): 621–34. http://dx.doi.org/10.2178/jsl/1190150101.
Full textLewitzka, Steffen. "Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity." Studia Logica 103, no. 3 (September 21, 2014): 507–44. http://dx.doi.org/10.1007/s11225-014-9577-9.
Full textBaltag, Alexandru, and Johan van Benthem. "A Simple Logic of Functional Dependence." Journal of Philosophical Logic 50, no. 5 (March 24, 2021): 939–1005. http://dx.doi.org/10.1007/s10992-020-09588-z.
Full textJin, Dawei. "Why-questions, topicality and intervention effects in Chinese." Yearbook of the Poznan Linguistic Meeting 2, no. 1 (September 1, 2016): 91–113. http://dx.doi.org/10.1515/yplm-2016-0005.
Full textKonikowska, Beata, Andrzej Tarlecki, and Andrzej Blikle. "A Three-Valued Logic for Software Specification and Validation. Tertium tamen datur." Fundamenta Informaticae 14, no. 4 (April 1, 1991): 411–53. http://dx.doi.org/10.3233/fi-1991-14403.
Full textPratt-Hartmann, Ian. "On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics." Bulletin of Symbolic Logic 14, no. 1 (March 2008): 1–28. http://dx.doi.org/10.2178/bsl/1208358842.
Full textGrädel, Erich. "On the Restraining Power of Guards." Journal of Symbolic Logic 64, no. 4 (December 1999): 1719–42. http://dx.doi.org/10.2307/2586808.
Full textSimons, Peter. "Term Logic." Axioms 9, no. 1 (February 10, 2020): 18. http://dx.doi.org/10.3390/axioms9010018.
Full textRett, Jessica. "Manner implicatures and how to spot them." International Review of Pragmatics 12, no. 1 (February 13, 2020): 44–79. http://dx.doi.org/10.1163/18773109-01201105.
Full textRönnedal, Daniel. "Boulesic-Doxastic Logic." Australasian Journal of Logic 16, no. 3 (June 26, 2019): 83. http://dx.doi.org/10.26686/ajl.v16i3.4158.
Full textDu, Guoping. "Parenthesis Notation." Journal of Research in Philosophy and History 5, no. 1 (February 22, 2022): p44. http://dx.doi.org/10.22158/jrph.v5n1p44.
Full textBlikle, Andrzej. "Three-Valued Predicates for Software Specification and Validation." Fundamenta Informaticae 14, no. 4 (April 1, 1991): 387–410. http://dx.doi.org/10.3233/fi-1991-14402.
Full textReis, Róbson Ramos dos. "Ways of being and expressivity." Estudios de Filosofía, no. 61 (February 4, 2020): 11–33. http://dx.doi.org/10.17533/udea.ef.n61a03.
Full textBaaz, M., and N. Preining. "Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type." Journal of Logic and Computation 18, no. 4 (November 22, 2007): 649–68. http://dx.doi.org/10.1093/logcom/exn004.
Full textFRITZ, PETER. "LOGICS FOR PROPOSITIONAL CONTINGENTISM." Review of Symbolic Logic 10, no. 2 (March 20, 2017): 203–36. http://dx.doi.org/10.1017/s1755020317000028.
Full textMIMRAM, SAMUEL. "The structure of first-order causality." Mathematical Structures in Computer Science 21, no. 1 (January 24, 2011): 65–110. http://dx.doi.org/10.1017/s0960129510000459.
Full textCUI, LICONG, YONGMING LI, and 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 (June 2009): 427–48. http://dx.doi.org/10.1142/s0218488509005966.
Full textToffano, Zeno, and François Dubois. "Quantum eigenlogic observables applied to the study of fuzzy behaviour of Braitenberg vehicle quantum robots." Kybernetes 48, no. 10 (November 4, 2019): 2307–24. http://dx.doi.org/10.1108/k-11-2018-0603.
Full text