Results 311 to 320 of about 1,454,061 (346)

Modal sequents for normal modal logics

Mathematical Logic Quarterly, 1993
AbstractWe 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   +2 more sources

Modal systems and modal verbs

2001
The modal systems described in the last two chapters share a number of features, not only in the systems themselves, but also, for many languages, in the use of modal verbs and the association with possibility and necessity. A detailed discussion of these has been left to this chapter in order to avoid too much repetition and cross-referencing.
openaire   +2 more sources

Models and Modality

Synthese, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Modal Truncation in Experimental Modal Analysis

Some methods in experimental modal analysis rely on a finite set of modes and they neglect the higher modes. However, this approach causes a truncation of the modal decomposition and the modal truncation introduces errors of unknown magnitude. In this paper the effect of modal truncation is investigated on a test specimen in the laboratory. It is found
Tarpø, Marius Glindtvad, Vigsø, Michael, Brincker, Rune   +2 more
openaire   +4 more sources

Modal Concord as Modal Modification

2010
Modal concord is the phenomenon by which certain modal adverbs seem to become semantically vacuous in the presence of modal auxiliaries if the adverb and the auxiliary match in quantificational force (e.g., universal vs existential) and modal flavor (e.g., epistemic vs deontic). We propose that neither concord adverbs nor modal auxiliaries are vacuous:
Pranav Anand, Adrian Brasoveanu
openaire   +2 more sources

Modal Mereology and Modal Supervenience

Philosophical Studies, 2010
David Lewis insists that restrictivist composition must be motivated by and occur due to some intuitive desiderata for a relation R among parts that compose wholes, and insists that a restrictivist’s relation R must be vague. Peter van Inwagen agrees. In this paper, I argue that restrictivists need not use such examples of relation R as a criterion for
openaire   +2 more sources

Modals as Predicates of Modal Objects

2016
This 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   +2 more sources

Modal Realism, Modal Rationalism, Modal Naturalism

2012
This 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 supereminence and modal realism

Theoria, 1992
Critique du debat sur la survenance modale-reelle. D'apres l'A., ce debat (i) attribue erronement la refutation de la survenance modale-reelle a Putnam; (ii) ne prend pas en compte les problemes serieux relatifs a l'application de la these de la survenance au modal-reel; (iii) il contient l'affirmation non defendable que la survenance modale-reelle est
openaire   +2 more sources

An organic electrochemical transistor for multi-modal sensing, memory and processing

Nature Electronics, 2023
, , Tao Li
exaly