Results 261 to 270 of about 1,072,805 (301)
Some of the next articles are maybe not open access.
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
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
Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fitting, Melvin +2 more
openaire +7 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fitting, Melvin +2 more
openaire +7 more sources
On an Intuitionistic Modal Logic
Studia Logica, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gavin M. Bierman, Valeria de Paiva
openaire +3 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
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
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
1985
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire +2 more sources
In this paper we describe a general way to define a resolution method in the framework of non classical logic.
openaire +2 more sources
Studia Logica, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 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