Log in

Relevant bibliographies by topics / Modal logics; Temporal logic / Books

To see the other types of publications on this topic, follow the link: Modal logics; Temporal logic.

Books on the topic 'Modal logics; Temporal logic'

Author: Grafiati

Published: 4 June 2021

Last updated: 15 February 2022

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

Select a source type:

Consult the top 32 books for your research on the topic 'Modal logics; Temporal 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

Fisher, Michael, and Richard Owens, eds. Executable Modal and Temporal Logics. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-58976-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Stirling, Colin. Modal and Temporal Properties of Processes. Springer New York, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

International Joint Conference on Artificial Intelligence (1993 Chambéry, France). Executable modal and temporal logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings. Springer, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Modal logics and philosophy. McGill-Queen's University Press, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Girle, Rod. Modal logics and philosophy. Acumen, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Modal logics and philosophy. 2nd ed. McGill-Queen's University Press, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Girle, Rod. Modal logics and philosophy: Introduction to modal logic. Acumen, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Indrzejczak, Andrzej. Natural deduction, hybrid systems and modal logics. Springer, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Gabbay, Dov M. Interpolation and definability: Modal and intuitionistic logics. Clarendon Press, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

The method of Socratic proofs for normal modal propositional logics. Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Quantifiers, propositions, and identity: Admissible semantics for quantified modal and substructural logics. Cambridge University Press, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Wallen, Lincoln A. Automated proof search in non-classical logics: Efficient matrix proof methods for modal and intuitionistic logics. MIT Press, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

Benthem, Johan van. The logic of time: A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. 2nd ed. Kluwer Academic Publishers, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

J. F. A. K. van Benthem. The logic of time: A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. 2nd ed. Kluwer Academic Publishers, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

Wallen, Lincoln A. Automated proof search in non-classicallogics: Efficient matrix proof methods for modal and intuitionistic logics. MIT Press, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

W, Vaandrager Frits, and SpringerLink (Online service), eds. Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Springer Berlin Heidelberg, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

Dejan, Ničković, and SpringerLink (Online service), eds. Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer Berlin Heidelberg, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

Burgess, John P. Logic and Philosophical Methodology. Edited by Herman Cappelen, Tamar Szabó Gendler, and John Hawthorne. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199668779.013.30.

Full text

Abstract:

This article explores the role of logic in philosophical methodology, as well as its application in philosophy. The discussion gives a roughly equal coverage to the seven branches of logic: elementary logic, set theory, model theory, recursion theory, proof theory, extraclassical logics, and anticlassical logics. Mathematical logic comprises set theory, model theory, recursion theory, and proof theory. Philosophical logic in the relevant sense is divided into the study of extensions of classical logic, such as modal or temporal or deontic or conditional logics, and the study of alternatives to classical logic, such as intuitionistic or quantum or partial or paraconsistent logics. The nonclassical consists of the extraclassical and the anticlassical, although the distinction is not clearcut.

APA, Harvard, Vancouver, ISO, and other styles

19

Fisher, Michael. Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 : Proceedings (Lecture Notes in Computer Science). Springer, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

Meyer, Ulrich. Time and Modality. Edited by Craig Callender. Oxford University Press, 2011. http://dx.doi.org/10.1093/oxfordhb/9780199298204.003.0005.

Full text

Abstract:

This chapter discusses modal logic: the logic of possibility and necessity. After a brief review of modal logic in the second section, the third section presents basic results of propositional tense logic. The fourth section develops a system of quantified tense logic. With these technical preliminaries out of the way, the fifth section explains why tense logic ultimately fails as a linguistic theory of verb tense. The sixth section presents the main objection to tense primitivism: that tense logic has insufficient expressive resources to serve as a metaphysical theory of time. The seventh section argues that the tense primitivist can overcome these problems by treating times as maximally consistent sets of sentences. The eighth section discusses a key difference between time and modality: the lack of a temporal analogue of actualism.

APA, Harvard, Vancouver, ISO, and other styles

21

Girle, Rod. Modal Logics and Philosophy: Second Edition. Taylor & Francis Group, 2017.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

Cotnoir, A. J., and Achille C. Varzi. Mereology. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198749004.001.0001.

Full text

Abstract:

Mereology is the formal theory of parthood relations. Mereological theories—have become a chapter of central interest in metaphysics, but also with applications in logic, the philosophy of mathematics, the philosophy of language, and the philosophy of science. This book provides a critical survey and an up-to-date assessment of the main results in this area, with an eye to both their philosophical underpinnings and their formal properties. In doing so, it also aims to investigate the varieties of formal systems currently available. After a brief history of the development of mereology, introductions to different axiomatizations of so-called classical mereology, alongside set-theoretic and algebraic models, are presented in a clear and accessible manner. The book addresses formal and philosophical issues surrounding the notions of parthood, identity, decomposition, atomism, composition, and more. As a result, the book, provides resources to aide the development of new, non-classical theories of parthood (such as non-well-founded mereologies, non-transitive mereologies, non-extensional mereologies, and more). Consideration is devoted to impact that the logical background has on mereological results (including higher-order, temporal, modal, non-classical logics). A detailed index, appendices, and a comprehensive bibliography makes this book an indispensable resource to researchers in every field where part-whole theorizing plays a fundamental role.

APA, Harvard, Vancouver, ISO, and other styles

23

Indrzejczak, Andrzej. Natural Deduction, Hybrid Systems and Modal Logics. Springer, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

1945-, Gabbay Dov M., ed. Many-dimensional modal logics: Theory and applications. Elsevier North Holland, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

Antony, Galton, ed. Temporal logics and their applications. Academic Press, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

Kurucz, A., F. Wolter, M. Zakharyaschev, and Dov M. Gabbay. Many-Dimensional Modal Logics: Theory and Applications. Elsevier Science & Technology Books, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

Boutilier, Craig. Viewing conditional logics of normality as extensions of the modal system S4. 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

Gabbay, D. M., A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications (Studies in Logic and the Foundations of Mathematics). North Holland, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

Benthem, Johan Van. The Logic of Time: A Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Springer Verlag, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence). The MIT Press, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

Tir, Jaroslav, and Johannes Karreth. The Logic of Institutional Influence: Conceptual and Methodological Implications. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190699512.003.0005.

Full text

Abstract:

This chapter further probes the finding that countries belonging to a larger number of highly structured (IGOs) face a significantly lower risk that an emerging low-level armed conflict on their territories will escalate to full-scale civil war. Various empirical approaches show that the finding is robust. For example, we establish that the finding holds when we account for (a) the determinants of memberships in highly structured IGOs (i.e. endogeneity concerns); (b) mediations and interventions; (c) natural resources; (d) government-rebel relative power; and (e) spatial, temporal, and transnational trends. Further, (f) we isolate highly structured IGOs’ use of costs and benefits as the key drivers of our finding, (g) establish that nonescalated conflicts end in settlements, as opposed to one side simply defeating the other militarily, and (h) use Bayesian model averaging (BMA) to demonstrate the added value of accounting for highly structured IGO memberships in analyses of conflict escalation patterns.

APA, Harvard, Vancouver, ISO, and other styles

32

Bělohlávek, Radim, Joseph W. Dauben, and George J. Klir. Fuzzy Logic in the Narrow Sense. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190200015.003.0004.

Full text

Abstract:

The chapter examines the various propositional and predicate many-valued logics that were studied prior to the emergence of the concept of a fuzzy set in the mid-1960s, which led to the genesis of fuzzy logic in broad and narrow senses. Early ideas regarding formal systems of fuzzy logic allowed for deduction from partially true premises to partially true consequences, as suggested first by Goguen in the 1960s and further developed by Pavelka in the 1970s, and these ideas were developed from the 1990s onward. The systematic development of fuzzy logics based on t-norms and their residua, pursued under the leadership of Hájek in the 1990s, is discussed in some detail. An overview is presented of fuzzy logics that are not truth-functional, such as probabilistic, possibilistic and modal fuzzy logic. The chapter concludes by reviewing relevant additional issues, such as issues of computational complexity for fuzzy logic or higher-order fuzzy logics.

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!