Results 191 to 200 of about 1,652 (233)
Some of the next articles are maybe not open access.
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
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 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
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 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 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
A Modal Analysis of Presupposition and Modal Subordination
Journal of Semantics, 2005In this paper I will give a modal two-dimensional analysis of presupposition and modal subordination. I will think of presupposition as a non-veridical propositional attitude. This allows me to evaluate what is presupposed and what is asserted at different dimensions without getting into the binding problem.
openaire +2 more sources

