Results 271 to 280 of about 1,072,805 (301)

The modal logic of quantum logic

Journal of Philosophical Logic, 1979
Modal logic is concerned with the concepts of necessity and possibility and a certain class of object propositions. In this paper we develop the basic concepts of a modal logic which is related to propositions about quantum physical objects. Since the object logic of quantum mechanical propositions is given by the calculi of quantum logic, the ...
openaire   +2 more sources

Modal Logic, Truth, and the Master Modality

Journal of Philosophical Logic, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Logical Connectives for Constructive Modal Logic

Synthese, 2006
Model-theoretic proofs of functional completeness along the lines of [\textit{D. P. McCullough}, J. Symb. Log. 36, 15--20 (1971; Zbl 0216.28801)] are given for various constructive modal propositional logics with strong negation.
openaire   +2 more sources

Hybrid Logic Meets IF Modal Logic

Journal of Logic, Language and Information, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Modal Logic

1980
A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability.
openaire   +1 more source

Basic modal logic

Journal of Symbolic Logic, 1967
As anyone who is familiar with the literature knows, there is a great deal of controversy concerning which, if any, of the extant theories of propositional modal logic correctly formalizes the logic of certain logical concepts such as analyticity and logical necessity. Most of the controversy concerns certain principles that involve iterated modalities
openaire   +3 more sources

Modal logic as metalogic

Journal of Logic, Language and Information, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The Institution of Many-Logics Modal Logic

Approaching reconfigurable systems as structured transition systems, where the states are models in a given institution, is a methodological approach pursued in [17]. The versatility of this approach lies in the assumption that the logic used for configurations can be chosen based on the nature of the system configurations to be developed. Technically,
Freire, Alfredo R., Martins, Manuel A., Madeira, Alexandre   +2 more
openaire   +3 more sources

Modal logic

Artificial Intelligence Review, 1991
openaire   +1 more source

Paraconsistent logic from a modal viewpoint

Journal of Applied Logic, 2005
Jean-Yves Béziau
exaly