#
Modality (Logic)
Resource Information
The concept ** Modality (Logic)** represents the subject, aboutness, idea or notion of resources found in **University of Oklahoma Libraries**.

The Resource
Modality (Logic)
Resource Information

The concept

**Modality (Logic)**represents the subject, aboutness, idea or notion of resources found in**University of Oklahoma Libraries**.- Label
- Modality (Logic)

## Context

Context of Modality (Logic)#### Subject of

- A companion to modal logic
- A general interpreted modal calculus.
- A short introduction to modal logic
- Actuality, possibility and worlds
- Advanced Topics in Bisimulation and Coinduction
- Advanced topics in bisimulation and coinduction
- Advanced topics in bisimulation and coinduction
- Advances in intentional logic
- An essay in classical modal logic
- An essay in modal logic
- An introduction to bisimulation and coinduction
- An introduction to modal logic
- Aristotle on modality and determinism
- Aristotle's modal proofs : Prior analytics A8-22 in predicate logic
- Aristotle's modal syllogisms
- Arrow logic and multi-modal logic
- Aspects of Aristotle's logic of modalities
- Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
- Bertrand Russell on modality and logical relevance
- Coherent systems
- Communication and meaning : an essay in applied modal logic
- Completeness in some modal systems with weak necessity
- Conditionals and modularity in general logics
- Content and modality : themes from the philosophy of Robert Stalnaker
- Deductive logic; : an introduction to evaluation techniques and logical theory,
- Deontic modality
- Die Modalbegriffe in den logischen Schriften des Wilhelm von Shyreswood : und in anderen Kompendien des 12. und 13. Jahrhunderts : Funktionsbestimmung und Gebrauch in der logischen Analyse
- Displaying modal logic
- Epistemic modality
- Essays in the Metaphysics of Modality :
- Essays in the metaphysics of modality
- First steps in modal logic
- First-order modal logic
- Gentzen calculi for modal propositional logic
- Hilary Putnam on logic and mathematics
- Intensional and higher-order modal logic : with applications to Montague semantics
- Interpolation and definability : modal and intuitionistic logics
- Introductory modal logic
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Kant's revolutionary theory of modality
- Kripke's Worlds : an introduction to modal logics via Tableaux
- Labelled Deduction
- Languages of possibility : an essay in philosophical logic
- Leo Esakia on duality in modal and intuitionistic logics
- Logic for concurrency and synchronisation
- Logical modalities from Aristotle to Carnap : the story of necessity
- Logics of time and computation
- Meaning and modality
- Mere possibilities : metaphysical foundations of modal semantics
- Modal logic
- Modal logic : an introduction
- Modal logic : an introduction to its syntax and semantics
- Modal logic and classical logic
- Modal logic and its applications
- Modal logic as metaphysics
- Modal logic with descriptions
- Modal logic: : the Lewis-modal systems,
- Modal logics and philosophy
- Modal logics.
- Modal thinking
- Modalities : Philosophical Essays
- Modalities : philosophical essays
- Modalities and multimodalities
- Modality
- Modality
- Modality : metaphysics, logic, and epistemology
- Modality : metaphysics, logic, and epistemology
- Modality and Tense : Philosophical Papers
- Modality and anti-metaphysics
- Modality and meaning
- Modality and tense : philosophical papers
- Modality, morality, and belief : essays in honor of Ruth Barcan Marcus
- Model theory for modal logic : Kripke models for modal predicate calculi
- Models for modalities. : Selected essays
- Names and descriptions
- Natural deduction, hybrid systems and modal logics
- Necessity and possibility : the metaphysics of modality
- Necessity lost
- Ontology, modality, and the fallacy of reference
- Papers on time and tense
- Papers on time and tense,
- Partiality, modality, and nonmonotonicity
- Past, present and future,
- Philosophical problems in Logic. : Some recent developments.
- Possibilities and paradox : an introduction to modal and many-valued logic
- Possible worlds
- Proof methods for modal and intuitionistic logics
- Provability, complexity, grammars
- Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
- Readings in semantics.
- Real existence, ideal necessity : Kant's compromise, and the modalities without the compromise
- Reference and modality;
- Reforging the great chain of being : studies of the history of modal theories
- Temporal logic
- Temporal modalities in Arabic logic
- The Logic of Provability
- The Nature of Necessity :
- The Possible and the actual : readings in the metaphysics of modality
- The completeness of some modal logics with circumstantials, subjunctive conditionals, transworld identity and dispositional predicates; : a study in the prolegomena to the logic of science
- The development of modal reasoning : genesis of necessity and possibility notions
- The intentions of intentionality and other new models for modalities
- The logic of common nouns : an investigation in quantified modal logic
- The logic of provability
- The metaphysics of modality
- The metaphysics of theism and modality
- The nature of necessity
- The nature of necessity
- The theory of ontic modalities
- The unprovability of consistency : an essay in modal logic
- The worlds of possibility : modal realism and the semantics of modal logic
- Theism and ultimate explanation : the necessary shape of contingency
- Time & necessity; : studies in Aristotle's theory of modality
- Topics in conditional logic
- Topics in the philosophy of possible worlds
- Toward predicate approaches to modality
- Types, tableaus, and GĂ¶del's God
- Worlds and individuals, possible and otherwise
- Worlds and individuals, possible and otherwise
- Worlds, times and selves
- Zur Theorie der Modalbegriffe bei G. W. Leibniz

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/kbcpf9Hw9wU/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/kbcpf9Hw9wU/">Modality (Logic)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Modality (Logic)

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/kbcpf9Hw9wU/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/kbcpf9Hw9wU/">Modality (Logic)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>`