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 62 found (382 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

Square of opposition (3,111 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

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

Geoff Sutcliffe (297 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,107 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

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

Ω-consistent theory (1,941 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

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

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

Joel David Hamkins (1,501 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

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

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

Arity (1,278 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

Analytic–synthetic distinction (4,448 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

Meta-communication (1,476 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)

Barrie Collingwood Railway (1,026 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

Extensionalism (433 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

Kripke structure (model checking) (718 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

List of important publications in philosophy (5,272 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

Frederic Fitch (436 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

Graham Priest bibliography (3,790 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

Decidability (logic) (1,901 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

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

Robert Goldblatt (463 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

André Joyal (686 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

Lennart Åqvist (493 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

Metaphysics (15,560 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

Unexpected hanging paradox (1,814 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

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

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

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,

Dagfinn Føllesdal (549 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

María Manzano (266 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

Timothy Smiley (691 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

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

Proof by contradiction (2,492 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

Nijaz Ibrulj (968 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

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

Conceptual model (4,067 words) [view diff] exact match in snippet view article find links to article

putative real world objects and events. It is a graphical representation of modal logic in which modal operators are used to distinguish statement about concepts

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

Arguments" 1952 "On the Intuitionistic Theory of Deduction" 1953 "A System of Modal Logic" 1954 "On a Controversial Problem of Aristotle's Modal Syllogistic" History

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

https://www.jstor.org/stable/20488489 A. Chagrov, M. Zakharyaschev, Modal logic, Oxford University Press, 1997. C. Meredith, A single axiom of positive

Religious philosophy (4,622 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

Nicholas Rescher (2,799 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

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

Problem of universals (4,901 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

Computation tree logic (2,908 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

Solomon Passy (1,469 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

Word and Object (3,705 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

Gareth Evans (philosopher) (2,403 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

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

Philosophy of language (8,563 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

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

Avicenna (13,286 words) [view diff] case mismatch in snippet view article find links to article

of Syllogistic After Avicenna: Notes on Rescher's Studies on Arabic Modal Logic", Journal of Islamic Studies, 11 (2): 209–228, doi:10.1093/jis/11.2.209

Linear time property (1,982 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

Glossary of artificial intelligence (27,514 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

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

Unified Foundational Ontology (2,348 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