Results 271 to 280 of about 19,016 (311)

Modal Multilattice Logic

Logica Universalis, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Norihiro Kamide, Yaroslav Shramko
openaire   +2 more sources

Term-Modal Logics

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fitting, Melvin, Thalmann, Lars, Voronkov, Andrei   +2 more
openaire   +5 more sources

A Modal Logic of Metaphor

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

The Modal Logic of Programs

1979
We explore the general framework of Modal Logic and its applicability to program reasoning. We relate the basic concepts of Modal Logic to the programming environment: the concept of "world" corresponds to a program state, and the concept of "accessibility relation" corresponds to the relation of derivability between states during execution.
Zohar Manna, Amir Pnueli
openaire   +1 more source

Modal Discussive Logics

Journal of Philosophical Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak   +2 more
openaire   +1 more source

On Quantified Modal Logic

Fundamenta Informaticae, 1999
Propositional modal logic is a standard tool in many disciplines, but first-order modal logic is not. There are several reasons for this, including multiplicity of versions and inadequate syntax. In this paper we sketch a syntax and semantics for a natural, well-behaved version of first-order modal logic, and show it copes easily with several familiar ...
openaire   +2 more sources

Modal description logics: modalizing roles

Fundamenta Informaticae, 1999
We construct a new concept description language intended for representing dynamic and intensional knowledge. The most important feature distinguishing this language from its predecessors in the literature is that it allows applications of modal operators to all kinds of syntactic terms: concepts, roles and formulas.
Frank Wolter, Michael Zakharyaschev
openaire   +2 more sources

A Modal Sortal Logic

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

The Modal Logic of Discrepancy

Journal of Philosophical Logic, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

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   +1 more source