Results 251 to 260 of about 1,933,548 (305)

Modal Multilattice Logic

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

A Modal Logic of Metaphor

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

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

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

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

Strong Completeness of Coalgebraic Modal Logics

Symposium on Theoretical Aspects of Computer Science, 2009
Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics often present ...
Lutz Schröder, D. Pattinson
semanticscholar   +1 more source

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

Modal Logics

An Introduction to Many-Valued Logics, 2019
R. Ackermann
semanticscholar   +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