Results 271 to 280 of about 11,569 (296)

Combinations of Modal Logics [PDF]

Artificial Intelligence Review, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bennet, B., Dixon, C., Fisher, M., Franconi, E., Horrocks, I., Hustadt, U., de Rijke, M.   +6 more
openaire   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

A modal contrastive logic: The logic of ‘but’

Annals of Mathematics and Artificial Intelligence, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
J.-J. Ch. Meyer, W. van der Hoek
openaire   +3 more sources

Modal Logic

2001
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each ...
Blackburn, P., de Rijke, M., Venema, Y.
openaire   +4 more sources

Modal Logic as Dialogical Logic

Synthese, 2001
The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy.
openaire   +4 more sources

Modal logic and invariance

Journal of Applied Non-Classical Logics, 2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with generalized quantifiers, and various characterizations in terms of semantic invariance have been proposed. In this paper, our main concern is with modal and dynamic logics.
van Benthem, J., Bonnay, D.
openaire   +4 more sources

Term-Modal Logics

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

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

The true modal logic [PDF]

Journal of Philosophical Logic, 1991
This paper traces, in very nice detail, the reasoning that led Prior to propose his curious system \(\mathbf Q\) as the true quantified modal logic. Because a logic should make as few metaphysical commitments as possible, the true modal logic should avoid the necessitarian myth, to which classical quantified modal logic seems committed, that whatever ...
openaire   +1 more source

Modal logic with names

Journal of Philosophical Logic, 1993
The paper aims at some general theory of names in a purely modal environment. Names are properties that identify a single intensional object completely. The suggested language is a propositional modal language enriched by a general modality and names: special propositional variables that are allowed to be true at exactly one point of the universe only.
George Gargov, Valentin Goranko
openaire   +3 more sources

Adaptive Logic as a Modal Logic

Studia Logica, 2012
Modal logics have in the past been used as a unifying framework for the minimality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing ...
openaire   +3 more sources