Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Epistemic modal logic (view), Normal modal logic (view), S5 (modal logic) (view), Dynamic logic (modal logic) (view), Regular modal logic (view), Classical modal logic (view), Multimodal logic (view), Non-normal modal logic (view), Japaridze's polymodal logic (view)

searching for Modal logic 65 found (385 total)

alternate case: modal logic

List of mathematical logic topics (1,012 words) [view diff] no match in snippet view article find links to article

This is a list of mathematical logic topics. For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and

Thomas J. McKay (396 words) [view diff] case mismatch in snippet view article find links to article

Massachusetts, 1974, for a dissertation on "Essentialism and Quantified Modal Logic: Quine's Argument and Kripke's Semantics" His work has primarily concerned

Nino Cocchiarella (171 words) [view diff] case mismatch in snippet view article find links to article

Formal Ontology and Conceptual Realism, New York, Springer (2007); and Modal Logic. An Introduction to its Syntax and Semantics (with Max Freund), Oxford

Square of opposition (3,161 words) [view diff] no match in snippet view article find links to article

In term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions

David Makinson (293 words) [view diff] exact match in snippet view article find links to article

1958 and completed them at Oxford University in 1965, with a D.Phil on modal logic under Michael Dummett. He worked in the American University of Beirut

Geoff Sutcliffe (328 words) [view diff] case mismatch in snippet view article find links to article

co-organizer of several Automated reasoning challenges, including the Modal Logic $100 Challenge, the MPTP $100 Challenges, and the SUMO $100 Challenges

Naming and Necessity (2,084 words) [view diff] exact match in snippet view article find links to article

Necessity, which, like Naming and Necessity, is also about semantics and modal logic. Language is a primary concern of analytic philosophers, particularly

The Wheels of If (1,113 words) [view diff] exact match in snippet view article find links to article

story in a footnote of his 1968 paper "Counterpart theory and quantified modal logic" as a source for his conception of individuals across possible worlds

Joel David Hamkins (1,791 words) [view diff] exact match in snippet view article find links to article

general method of forcing indestructibility. Hamkins introduced the modal logic of forcing and proved with Benedikt Löwe that if ZFC is consistent, then

Everything (666 words) [view diff] exact match in snippet view article find links to article

anything at all?". Alpha and Omega Infinity Modal collapse – Concept in modal logic Nothing Something (concept) Trivialism, the logical theory that every

Paul Gochet (1,757 words) [view diff] case mismatch in snippet view article find links to article

Logic and natural language" (with André Thayse) and "Semantics", From Modal Logic to Deductive Databases. Introducing a Logic Based Approach to Artificial

Cointerpretability (191 words) [view diff] exact match in snippet view article find links to article

"A generalized notion of weak interpretability and the corresponding modal logic", Annals of Pure and Applied Logic, 61 (1–2): 113–160, doi:10.1016/0168-0072(93)90201-N

Sergei N. Artemov (943 words) [view diff] exact match in snippet view article find links to article

by Gödel in the 1930s: Artemov provided a provability semantics for modal logic that also served as a formalization of the Brouwer–Heyting–Kolmogorov

Jan Łukasiewicz (2,673 words) [view diff] case mismatch in snippet view article find links to article

Theories (included in Łukasiewicz 1970, pp. 341–351) — (1953). "A System of Modal Logic". The Journal of Computing Systems. 1 (3): 111–149. Retrieved 24 March

Ω-consistent theory (1,988 words) [view diff] exact match in snippet view article find links to article

Self-reference and modal logic. Berlin: Springer. ISBN 978-0-387-96209-2. Reviewed in Boolos, G.; Smorynski, C. (1988). "Self-Reference and Modal Logic". The Journal

Weak interpretability (238 words) [view diff] exact match in snippet view article find links to article

"A generalized notion of weak interpretability and the corresponding modal logic", Annals of Pure and Applied Logic, 61 (1–2): 113–160, doi:10.1016/0168-0072(93)90201-N

Meta-communication (1,466 words) [view diff] case mismatch in snippet view article find links to article

16-45 A.J. Jones (1983). Communication and Meaning: An Essay in Applied Modal Logic. Springer. pp. 132–137. ISBN 978-90-277-1543-2. Alan Wolfe (January 1996)

Validity (logic) (1,110 words) [view diff] exact match in snippet view article

be called valid, i.e. logical truth, in some systems of logic like in Modal logic if the statement is true in all interpretations. In Aristotelian logic

Frederic Fitch (445 words) [view diff] exact match in snippet view article find links to article

(1974), but he also made significant contributions to intuitionism and modal logic. He was interested in the problem of the consistency, completeness, categoricity

Arity (1,464 words) [view diff] case mismatch in snippet view article find links to article

ISBN 978-0-415-21375-2. Cocchiarella, Nino B.; Freund, Max A. (2008). Modal Logic: An Introduction to its Syntax and Semantics. Oxford University Press

Judgment (mathematical logic) (455 words) [view diff] exact match in snippet view article

Frank; Davies, Rowan (August 2001). "A judgmental reconstruction of modal logic". Mathematical Structures in Computer Science. 11 (4): 511–540. CiteSeerX 10

Finite model property (245 words) [view diff] case mismatch in snippet view article find links to article

fmp. Kripke semantics Patrick Blackburn, Maarten de Rijke, Yde Venema Modal Logic. Cambridge University Press, 2001. Alasdair Urquhart. Decidability and

Jean E. Rubin (590 words) [view diff] case mismatch in snippet view article find links to article

dissertation, jointly supervised by J.C.C. McKinsey and Patrick Suppes, was Bi-Modal Logic, Double Closure Algebras and Hilbert Space. She became a lecturer at

Analytic–synthetic distinction (4,578 words) [view diff] case mismatch in snippet view article find links to article

in the Supplement to Meaning and Necessity: A Study in Semantics and Modal Logic, enlarged edition (University of Chicago Press, 1956). Gillian Russell

André Joyal (701 words) [view diff] case mismatch in snippet view article find links to article

Kripke-Joyal semantics for noncommutative logic in quantales; Advances in Modal Logic 6, 209—225, Coll. Publ., London, 2006; MR2396933 Joyal, André; Tierney

Francis Turretin (1,137 words) [view diff] exact match in snippet view article find links to article

It is not Scotus's notion of synchronic contingency but Aristotle's modal logic which is incorporated into Turretin's doctrine of freedom. Moreover,

Francis Turretin (1,137 words) [view diff] exact match in snippet view article find links to article

It is not Scotus's notion of synchronic contingency but Aristotle's modal logic which is incorporated into Turretin's doctrine of freedom. Moreover,

Deborah Mayo (438 words) [view diff] exact match in snippet view article find links to article

including introductory and advanced logic (meta-theory of logic and modal logic), the scientific method and philosophy of science. She also held academic

Extensionalism (435 words) [view diff] case mismatch in snippet view article find links to article

1972 (Originalausgabe: Meaning and Necessity. A Study in Semantics and Modal Logic. Chicago/Toronto/London 1947). Quine, Willard Van Orman: "Three Grades

Thomas Studer (233 words) [view diff] case mismatch in snippet view article find links to article

Giovanna D'Agostino, George Metcalfe and Thomas Studer (eds.): Advances in Modal Logic - Volume 12 (2018 College Publication) "Thomas Studer". home.inf.unibe

Lennart Åqvist (524 words) [view diff] case mismatch in snippet view article find links to article

Reichenbachian Tense Logic. (1979). Journal of Philosophical Logic 8 (1). Modal Logic with Subjunctive Conditionals and Dispositional Predicates. (1973) Journal

Decidability (logic) (1,887 words) [view diff] exact match in snippet view article

ISBN 9781475734522 Chagrov, Alexander; Zakharyaschev, Michael (1997), Modal logic, Oxford Logic Guides, vol. 35, Oxford University Press, ISBN 978-0-19-853779-3

Barrie Collingwood Railway (1,047 words) [view diff] no match in snippet view article find links to article

Trainweb.org. Retrieved January 13, 2018. "BCRY Barrie (Ontario)". Cando Modal-Logic. Archived from the original on April 19, 2016. https://www.youtube.com/watch

Robert Goldblatt (503 words) [view diff] case mismatch in snippet view article find links to article

anyone intending to teach nonstandard analysis." 2006: "Mathematical Modal Logic: a View of its Evolution" in Modalities in the Twentieth Century, Volume

List of publications in philosophy (5,271 words) [view diff] case mismatch in snippet view article find links to article

Development of Logic, 1962 Saul Kripke, "Semantical Considerations on Modal Logic", 1963 Donald Davidson, "Truth and Meaning", 1967 Willard Van Orman Quine

Kripke structure (model checking) (700 words) [view diff] case mismatch in snippet view article

Computation tree logic Kripke, Saul, 1963, "Semantical Considerations on Modal Logic," Acta Philosophica Fennica, 16: 83-94 Clarke, Edmund M. (2008): The

Timothy Smiley (660 words) [view diff] exact match in snippet view article find links to article

of philosophical areas, including Aristotle, definite descriptions, modal logic, multiple conclusion logic, negation and denial, plurals, set-theoretic

Dagfinn Føllesdal (602 words) [view diff] exact match in snippet view article find links to article

experts on the indeterminacy of translation. Referential Opacity and Modal logic. Oslo: Universitetsforlaget, 1966 "Quine on Modality." Synthese (December

Metaphysics (16,015 words) [view diff] case mismatch in snippet view article find links to article

2017, pp. 428–429 Menzel 2023, Lead Section, § 1. Possible Worlds and Modal Logic Berto & Jago 2023, Lead Section Pavel 1986, p. 50 Campbell 2006, § Possible

Graham Priest bibliography (3,901 words) [view diff] case mismatch in snippet view article find links to article

109–113. doi:10.1093/mind/LXXXVI.341.109. — (1977). "A Refoundation of Modal Logic". Notre Dame J. Formal Logic. 18 (3): 340–354. doi:10.1305/ndjfl/1093888007

The Journal of Philosophy (949 words) [view diff] case mismatch in snippet view article find links to article

Logic" (1966) - Bas van Fraassen "Counterpart Theory and Quantified Modal Logic" (1968) - David Kellogg Lewis "Ontological Relativity" (1968) - W. V

Unexpected hanging paradox (1,815 words) [view diff] case mismatch in snippet view article find links to article

epistemic paradoxes Binkley, Robert (1968). "The Surprise Examination in Modal Logic". The Journal of Philosophy. 65 (5): 127–136. doi:10.2307/2024556. JSTOR 2024556

María Manzano (283 words) [view diff] case mismatch in snippet view article find links to article

periodical (link) Ohlbach, Hans Jürgen (July 1998), Thematic Issue on Modal Logic, Journal of Logic, Language and Information, 7 (3): 389–391, doi:10

María Manzano (283 words) [view diff] case mismatch in snippet view article find links to article

periodical (link) Ohlbach, Hans Jürgen (July 1998), Thematic Issue on Modal Logic, Journal of Logic, Language and Information, 7 (3): 389–391, doi:10

Nijaz Ibrulj (977 words) [view diff] case mismatch in snippet view article find links to article

Mentalism). Sophos, No.14/2021 Kripke, Saul A. A Completeness Theorem in Modal Logic, Sophos No.14/2021. Brandom, Robert B. Artificial Intelligence and Analytical

Meta-ontology (2,232 words) [view diff] exact match in snippet view article find links to article

Semantics, and Ontology". Meaning and necessity: a study in semantics and modal logic (2 ed.). University of Chicago Press. pp. 205–221. — On-line version

Nicholas Rescher (2,843 words) [view diff] case mismatch in snippet view article find links to article

of Syllogistic after Avicenna: A Note on Rescher's Studies in Arabid Modal Logic," Journal of Islamic Studies, vol. 11, pp. 209-28. "University of Tehran

Proof by contradiction (2,529 words) [view diff] case mismatch in snippet view article find links to article

2002; see "Notation Index", p. 286. Gary Hardegree, Introduction to Modal Logic, Chapter 2, pg. II–2. https://web.archive.org/web/20110607061046/http://people

CTL* (1,570 words) [view diff] case mismatch in snippet view article find links to article

Schnoebelen: The Complexity of Temporal Logic Model Checking. Advances in Modal Logic 2002: 393–436 CTL Teaching slides of professor Alessandro Artale at the

John L. Pollock (1,511 words) [view diff] exact match in snippet view article find links to article

knowledge of the material world," The Philosophical Review, 1967. "Basic modal logic," Journal of Symbolic Logic, 1967. "What Is an Epistemological Problem

List of axiomatic systems in logic (3,906 words) [view diff] exact match in snippet view article find links to article

25–33. ISSN 0035-8975. JSTOR 20488489. A. Chagrov, M. Zakharyaschev, Modal logic, Oxford University Press, 1997. C. Meredith, A single axiom of positive

Religious philosophy (4,600 words) [view diff] exact match in snippet view article find links to article

Anselm, Descartes, and Leibniz. For example, Kurt Godel (1905–1978) used modal logic to elaborate and clarify Leibniz's version of Saint Anselm of Canterbury's

Grigori Mints (707 words) [view diff] case mismatch in snippet view article find links to article

Academic Publisher, 2001. Mints, G. (1992) "A Short Introduction to Modal Logic". Published by Center for the Study of Language and Information - Lecture

Solomon Passy (1,450 words) [view diff] case mismatch in snippet view article find links to article

mathematical logic and computer sciences. The Combinatory Dynamic Logic (Modal Logic with Nominals) was developed in Bulgaria by Solomon Passy and Professors

Gareth Evans (philosopher) (2,406 words) [view diff] exact match in snippet view article

and designation that came in the wake of the semantics for quantified modal logic proposed by Saul Kripke, Ruth Marcus, and others. A final important influence

Problem of universals (4,943 words) [view diff] case mismatch in snippet view article find links to article

(link) Cocchiarella, Nino (1975). "Logical Atomism, Nominalism, and Modal Logic", Synthese. Feldman, Fred (2005). "The Open Question Argument: What It

Philosophy of language (8,614 words) [view diff] case mismatch in snippet view article find links to article

Carnap, R., (1956). Meaning and Necessity: a Study in Semantics and Modal Logic. University of Chicago Press. Collins, John. (2001). Truth Conditions

Computation tree logic (2,913 words) [view diff] exact match in snippet view article find links to article

1145/5397.5399. S2CID 52853200. Emerson, E. A. (1990). "Temporal and modal logic". In Jan van Leeuwen (ed.). Handbook of Theoretical Computer Science

Word and Object (3,699 words) [view diff] exact match in snippet view article find links to article

value of a bound variable"). He argues, moreover, against quantified modal logic and the essentialism it presupposes, argues for Platonic realism in mathematics

Reflection principle (3,584 words) [view diff] exact match in snippet view article find links to article

doi:10.1016/s0168-0072(99)00052-4. Joel David Hamkins (2018). "The modal logic of arithmetic potentialism and the universal algorithm". arXiv:1801.04599

Ability (5,065 words) [view diff] exact match in snippet view article find links to article

is due to Anthony Kenny, who holds that various inferences drawn in modal logic are invalid for ability ascriptions. These failures indicate that the

Linear time property (1,992 words) [view diff] exact match in snippet view article find links to article

ISSN 1084-4309. S2CID 13994730. Emerson, E. Allen (1990). "Temporal and modal logic". Handbook of Theoretical Computer Science. B. Pnueli, Amir (1986). "Applications

Lorenzo Peña (4,716 words) [view diff] exact match in snippet view article find links to article

out the flaw was to think of deontic logic as a species of the genus modal logic by stressing the similarities between duty and necessity, and between

Glossary of artificial intelligence (29,481 words) [view diff] case mismatch in snippet view article find links to article

Philadelphia, 1995. Hughes, G. E., & Cresswell, M. J., A New Introduction to Modal Logic (London: Routledge, 1996), p.161. Feigenbaum, Edward (1988). The Rise

Unified Foundational Ontology (2,358 words) [view diff] exact match in snippet view article find links to article

extends to offer a formal semantics grounded in a sortal quantified modal logic. Theory of Part-Whole Relations: This theory explores the relationships