modal logic

collocation in English

meanings of modaland logic

These words are often used together. Click on the links below to explore the meanings. Or, see other collocations with logic.
modal
noun[C]
uk /ˈməʊ.dəl/ us /ˈmoʊ.dəl/
a verb, such as "can", "might", and "must", that is used with another verb to express an idea such as possibility that is not expressed by the main verb of ...
See more at modal
logic
noun[U]
uk /ˈlɒdʒ.ɪk/ us /ˈlɑː.dʒɪk/
a particular way of thinking, especially one that is reasonable and based on ...
See more at logic

Examples of modal logic

These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
In this paper we have also shown how lax logic can be embedded naturally in modallogic with necessity and possibility.
There are natural ways to extend our setting, using quantum versions of probabilistic modallogic, and we plan to investigate them in future work.
We stress also that, while basic modal systems are quite constrained, modallogic is a flexible tool, admitting of extensions of essentially any logical power.
In this way, it is similar to modallogic, which reasons about necessity and possibility, but abstracts from any particular collection of worlds.
It is this accessibility relation which determines the nature of the modallogic.
This last observation provides a crucial insight for designing a direct interpretation of lax logic in intuitionistic modallogic.
A central feature of modallogic is that formulae are invariant under bisimulation.
This translation preserves and reflects the abstraction preorder and the three-valued semantics of propositional modallogic.
Three knowledge representation schemes are introduced; description logic, first-order logic and modallogic, along with an explanation of their expressiveness and computational requirements.
In particular, the presentation is independent of modallogic and categorical judgments.
This modallogic approach is more expressive than default logics.
We can now translate results for implicit operations into results for modallogic.
We therefore refer to this logic as a modallogic for computability.
Here we just recall the definitions and results needed in the following to describe a modallogic for computability.
We now describe two example applications of the modallogic.
First, the major approaches to modallogic deal with a very broadly circumscribed notion of what is feasible or possible.
Second, modallogic itself presents many unsolved dilemmas, not the least of which is what the concept of "possible worlds" means.
Not only is the inclusion of modalities into intuitionistic logics or type theory expedient, but also the constructive approach to modallogic is fruitful.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
Want to learn more?
Go to the definition of modal
Go to the definition of logic
See other collocations with logic

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。