Results 301 to 310 of about 152,005 (336)

Modal logic with names

Journal of Philosophical Logic, 1993
The paper aims at some general theory of names in a purely modal environment. Names are properties that identify a single intensional object completely. The suggested language is a propositional modal language enriched by a general modality and names: special propositional variables that are allowed to be true at exactly one point of the universe only.
George Gargov, Valentin Goranko
openaire   +3 more sources

Adaptive Logic as a Modal Logic

Studia Logica, 2012
Modal logics have in the past been used as a unifying framework for the minimality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing ...
openaire   +3 more sources

Resolution Modal Logics

1985
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire   +3 more sources

The Logic of Modality

2016
INTRODUCTION The logical analysis of modalities, as initiated in Aristotle's On Interpretation and Prior Analytics , focused on the inferential relations among modal propositions, i.e. propositions concerning necessity, possibility and contingency. The Aristotelian legacy of modal logic underwent major transformations in medieval times, in both the
Paul Thom, Riccardo Strobino
openaire   +2 more sources

On Quantified Modal Logic

Fundamenta Informaticae, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Positive modal logic

Studia Logica, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Of Modal Logics

1979
I have distinguished between modal logic and tense logic more than is usual because I hold the distinction to be important. I am speaking of alethic modal logic, and throughout this chapter modal logic otherwise unspecified will mean the alethic variety.
openaire   +2 more sources

Modality and Logic

2015
The chapter begins with a brief historical survey of the development of the formalization of modalities in logic in the 20th century, focusing on the work by Lewis, Carnap and Quine. Then what seems to be one of the main limitative results on modal predicates, Montague’s theorem, is presented and critically discussed. It is shown how such paradoxes can
openaire   +2 more sources

The tumour microenvironment in pancreatic cancer — clinical challenges and opportunities

Nature Reviews Clinical Oncology, 2020
Won Jin Ho, Elizabeth M Jaffee, Lei Zheng   +2 more
exaly  

Materials challenges for trapped-ion quantum computers

Nature Reviews Materials, 2021
Kenneth R Brown, John Chiaverini, Jeremy M Sage   +2 more
exaly