Results 31 to 40 of about 153,381 (281)

Combination of temporal logic with modal logic KD

Lietuvos Matematikos Rinkinys, 2003
There is not abstract.
Regimantas Pliuškevičius
doaj   +3 more sources

Semantical Considerations on Modal Logic

Problemos, 2023
Iš anglų kalbos vertė ir pratarmę parašė Pranciškus Gricius, Vilniaus ...
Saul A. Kripke
doaj   +1 more source

On the Concept of a Notational Variant [PDF]

, 2017
In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic.
C Caleiro, E Jeřábek, FJ Pelletier, H Andréka, K Gödel, K Gödel, L Straßburger, M Kracht, P Blackburn, R Wójcicki, RL Epstein, SK Thomason, SK Thomason, T Mossakowski, WA Carnielli   +14 more
core   +1 more source

Linear Abelian Modal Logic

Bulletin of the Section of Logic
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj   +1 more source

A Modal Logic for Subject-Oriented Spatial Reasoning [PDF]

, 2019
We present a modal logic for representing and reasoning about space seen from the subject\u27s perspective. The language of our logic comprises modal operators for the relations "in front", "behind", "to the left", and "to the right" of the subject ...
Walega, Przemyslaw Andrzej, Zawidzki, Michal   +1 more
core   +1 more source

Inadequacy of Modal Logic in Quantum Settings [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox.
Nuriya Nurgalieva, Lídia del Rio
doaj   +1 more source

Complexity Results for Modal Dependence Logic [PDF]

, 2010
Modal dependence logic was introduced recently by V\"a\"an\"anen. It enhances the basic modal language by an operator =(). For propositional variables p_1,...,p_n, =(p_1,...,p_(n-1);p_n) intuitively states that the value of p_n is determined by those of ...
F.M. Donini, H. Lewis, J. Hintikka, J. Väänänen, J. Väänänen, L. Henkin, M. Sevenster, R.E. Ladner, S. Abramsky   +8 more
core   +3 more sources

Modal Logic before Kripke

Organon F, 2019
100 years ago C.I. Lewis published A Survey of Symbolic Logic, which included an axiom system for a notion of implication which was ‘stricter’ than that found in Whitehead and Russell’s Principia Mathematica.
Max Cresswell
doaj   +1 more source

Lindstrom theorems for fragments of first-order logic [PDF]

Logical Methods in Computer Science, 2009
Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic.
Johan van Benthem, Balder ten Cate, Jouko Vaananen   +2 more
doaj   +1 more source

Cylindric Modal Logic

Journal of Symbolic Logic, 1995
AbstractTreating the existential quantification ∃νi as a diamond ♢i and the identity νi = νj as a constant δij, we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full ...
openaire   +4 more sources