Log in

Relevant bibliographies by topics / Intensional logic / Books

Books on the topic 'Intensional logic'

To see the other types of publications on this topic, follow the link: Intensional logic.

Author: Grafiati

Published: 4 June 2021

Last updated: 7 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 35 books for your research on the topic 'Intensional logic.'

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 books on a wide variety of disciplines and organise your bibliography correctly.

1

Imre, Ruzsa. Intensional logic revisited. Budapest: Published by the author, L. Eötvös University, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

de Rijke, Maarten, ed. Advances in Intensional Logic. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-015-8879-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

J. F. A. K. van Benthem. A manual of intensional logic. Stanford, Calif: Center for the Study of Language and Information, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Center for the Study of Language and Information (U.S.), ed. A manual of intensional logic. 2nd ed. Stanford, CA: Center for the Study of Language and Information, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Allan, Ramsay. WH-questions and intensional logic. [Brighton]: University of Sussex School of Cognitive Studies, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

A manual of intensional logic. Stanford: Center for the Study of Language and Information, Stanford University, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Fox, Chris. Foundations of intensional semantics. Malden MA: Blackwell Pub., 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Slater, B. H. Intensional logic: An essay in analytical metaphysics. Aldershot [Hampshire, England]: Avebury, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Zalta, Edward N. Intensional logic and the metaphysics of intentionality. Cambridge, Mass: MIT Press, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Bjørn, Jespersen, Materna Pavel, and SpringerLink (Online service), eds. Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Dordrecht: Springer Science+Business Media B.V., 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Ruzsa, Imre. Introduction to metalogic: With an appendix on type-theoretical extensional and intensional logic. Budapest: Áron Publishers, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Azioni individuali e logica intensionale. Bologna: Clueb, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

Castellani, Francesca. Intensioni e mondi possibili. Milano: FrancoAngeli, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

Galvan, Sergio. Logiche intensionali: Sistemi proposizionali di logica modale, deontica, epistemica. Milano: FrancoAngeli, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

Friedrichsdorf, Ulf. Einführung in die klassische und intensionale Logik. Wiesbaden: Vieweg+Teubner Verlag, 1992. http://dx.doi.org/10.1007/978-3-322-84990-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Inhalt und Umfang: Untersuchungen zur Geltung und zur Geschichte der Reziprozität von Extension und Intension. Hildesheim: G. Olms, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

Rijke, Maarten. Advances in Intensional Logic. Rijke Maarten de, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

de, Rijke Maarten, ed. Advances in intensional logic. Dordrecht: Kluwer Academic Publishers, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

1951-, Shapiro Stewart, ed. Intensional mathematics. Amsterdam: North-Holland, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

Zalta, Edward. Intensional Logic and Metaphysics of Intentionality. MIT Press, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

Applications of intensional logic to program semantics. Buffalo, N.Y: State University of New York at Buffalo, Dept. of Computer Science, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

Gamut, L. T. F. Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar. University Of Chicago Press, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

Gamut, L. T. F. Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar. University Of Chicago Press, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

Blackburn, Patrick. Nominal tense logic and other sorted intensional frameworks. 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

Rijke, Maarten de. Diamonds and Defaults: Studies in Pure and Applied Intensional Logic. Springer, 2014.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

de, Rijke Maarten, ed. Diamonds and defaults: Studies in pure and applied intensional logic. Dordrecht: Kluwer Academic Publishers, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

Rijke, M. de. Diamonds and Defaults: Studies in Pure and Applied Intensional Logic (Synthese Library). Springer, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

Benthem, Johan van. A Manual of Intensional Logic: 2nd Edition (Center for the Study of Language and Information - Lecture Notes). Center for the Study of Language and Inf, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

Benthem, Johan van. A Manual of Intensional Logic: 2nd Edition (Center for the Study of Language and Information - Lecture Notes). 2nd ed. Center for the Study of Language and Inf, 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

Garrett, Don. The Indiscernibility of Identicals and the Transitivity of Identity in Spinoza’s Logic of the Attributes. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780195307771.003.0014.

Full text

Abstract:

Puzzlingly, Spinoza appears to reject two principles that are central to our understanding of numerical identity: the Indiscernibility of Identicals and the Transitivity of Identity. For each principle, this chapter does three things. First, it explains where and how Spinoza appears to reject it. Second, it examines and argues against two proposals for resolving the puzzle that results from the apparent rejection: one proposal that appeals to Michael Della Rocca’s conception of “intensional properties” and one that denies, as Colin Marshall does, that Spinoza really means numerical identity by his phrase “one and the same” (“una, eademque”). Third, it offers and defends an original proposal for resolving the puzzle that appeals to two Spinozistic doctrines that it calls “Strong Ontological Pluralism of Attributes” and the “Adequate-Idea Conception of Truth.”

APA, Harvard, Vancouver, ISO, and other styles

31

Luis, Fariñas del Cerro, and Penttonen Martti 1948-, eds. Intensional logics for programming. Oxford [England]: Clarendon Press, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

Ashcroft, E. A., A. A. Faustini, R. Jaggannathan, and W. W. Wadge. Multidimensional Programming. Oxford University Press, 1995. http://dx.doi.org/10.1093/oso/9780195075977.001.0001.

Full text

Abstract:

This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically indexicality, has enabled Lucid to implicitly express multidimensional objects that change, a fundamental capability with several consequences which are explored in this book. The author covers a broad range of topics, from foundations to applications, and from implementations to implications. The role of intensional logic in Lucid as well as its consequences for programming in general is discussed. The syntax and mathematical semantics of the language are given and its ability to be used as a formal system for transformation and verification is presented. The use of Lucid in both multidimensional applications programming and software systems construction (such as a parallel programming system and a visual programming system) is described. A novel model of multidimensional computation--education--is described along with its serendipitous practical benefits for harnessing parallelism and tolerating faults. As the only volume that reflects the advances over the past decade, this work will be of great interest to researchers and advanced students involved with declarative language systems and programming.

APA, Harvard, Vancouver, ISO, and other styles

33

Berto, Francesco, and Mark Jago. Impossible Worlds. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198812791.001.0001.

Full text

Abstract:

The latter half of the twentieth century witnessed an ‘intensional revolution’, a great collective effort to analyse notions which are absolutely fundamental to our understanding of the world and of ourselves—from meaning and information to knowledge, belief, causation, essence, supervenience, conditionality, as well as nomological, metaphysical, and logical necessity—in terms of a single concept. This was the concept of a possible world: a way things could have been. Possible worlds found applications in logic, metaphysics, semantics, game theory, information theory, artificial intelligence, and the philosophy of mind and cognition. However, possible worlds analyses have been facing numerous problems. This book traces them all back to hyperintensionality: the need for distinctions more fine-grained than the possible worlds apparatus can easily represent. It then introduces impossible worlds—ways things could not have been—as a general tool for modelling hyperintensional phenomena. The book discusses the metaphysics of impossible worlds and applies them to a range of central topics and open issues in logic, semantics, and philosophy: from the problem of logical omniscience in epistemic logic, to the semantics of non-classical logics, the modelling of imagination and mental simulation, the analysis of information and informative inference, truth in fiction, and counterpossible reasoning.

APA, Harvard, Vancouver, ISO, and other styles

34

Einführung in die klassische und intensionale Logik. Wiesbaden: Vieweg+Teubner Verlag, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

35

Friedrichsdorf, Ulf Ulf. Einführung in die klassische und intensionale Logik. Vieweg+Teubner Verlag, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!