Results 301 to 310 of about 1,564,204 (345)
Some of the next articles are maybe not open access.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1996
We add a binary operator ≥ to the logical language, with intended meaning of φ<ψ: ‘φ is at least as likely, probable, or trustworthy, as ψ’. The operator ≥ is interpreted on Kripke structures, making it possible to define the standard necessity operator □ in terms of ≥.
openaire +2 more sources
We add a binary operator ≥ to the logical language, with intended meaning of φ<ψ: ‘φ is at least as likely, probable, or trustworthy, as ψ’. The operator ≥ is interpreted on Kripke structures, making it possible to define the standard necessity operator □ in terms of ≥.
openaire +2 more sources
Modals as Predicates of Modal Objects
2016This talk will outline a novel semantics of modals based not on possible worlds and quantifiers ranging over them, but on what I will call ‘modal objects’, entities of the sort of permissions, obligations, needs, abilities, and essences. According to that semantics, modal predicates take modal objects as their implicit (Davidsonian)
openaire +1 more source
Synthese, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Journal of Symbolic Logic, 1946
The purpose of this article is to give a survey of some results I have found in investigations concerning logical modalities. The results refer: (1) to semantical systems, i.e., symbolic language systems for which semantical rules of interpretation are laid down; (2) to corresponding calculi, i.e., syntactical systems with primitive sentences and a ...
openaire +2 more sources
The purpose of this article is to give a survey of some results I have found in investigations concerning logical modalities. The results refer: (1) to semantical systems, i.e., symbolic language systems for which semantical rules of interpretation are laid down; (2) to corresponding calculi, i.e., syntactical systems with primitive sentences and a ...
openaire +2 more sources
Synthese, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Modal Synthesis Modal Correction — Modal Coupling
1982Modal synthesis is a technical term closely related to the development of the finite element technique. Especially in dealing with large structural systems with some thousand physical degrees of freedom, modal synthesis has proved to be an efficient means to reduce computational errors and to minimize computer costs by decomposing the system into ...
openaire +1 more source
Modal Realism, Modal Rationalism, Modal Naturalism
2012This chapter summarizes the accounts of modal realism, modal rationalism, and modal naturalism. It details the author's attempt to develop a framework that is compatible with the denial of actualist accounts of modality. It also alludes to some ways that the contrast between modal naturalism and modal rationalism connects with many of the issues that ...
openaire +1 more source
Modal Logic, Truth, and the Master Modality
Journal of Philosophical Logic, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Modal sequents for normal modal logics
Mathematical Logic Quarterly, 1993AbstractWe present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03F05.
openaire +1 more source
2009
The findings of the present study of selected modals and quasi-modals in matching corpora of Australian, New Zealand, British and American English reinforce those of diachronic investigations attesting to the rising popularity of the quasi-modals and declining fortunes of the modals in recent decades.
openaire +1 more source
The findings of the present study of selected modals and quasi-modals in matching corpora of Australian, New Zealand, British and American English reinforce those of diachronic investigations attesting to the rising popularity of the quasi-modals and declining fortunes of the modals in recent decades.
openaire +1 more source