Results 211 to 220 of about 1,125,186 (250)
Some of the next articles are maybe not open access.
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
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire +3 more sources
Journal of Philosophical Logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Krystyna Mruczek-Nasieniewska +2 more
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Krystyna Mruczek-Nasieniewska +2 more
openaire +1 more source
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 +2 more sources
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 +2 more sources
Logica Universalis, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Norihiro Kamide, Yaroslav Shramko
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Norihiro Kamide, Yaroslav Shramko
openaire +2 more sources
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
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, 1999We 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
Encoding Modal Logics in Logical Frameworks
Studia Logica, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Avron, Arnon +3 more
openaire +4 more sources
Journal of Philosophical Logic, 2004
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
The Modal Logic of Discrepancy
Journal of Philosophical Logic, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The modal logic of quantum logic
Journal of Philosophical Logic, 1979Modal 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