Suggested Topics within your search.
Suggested Topics within your search.
Modal logic
5
Philosophy: logic
5
Philosophy
3
Artificial intelligence
2
Computer programming / software engineering
2
Computer science
2
Ethics & moral philosophy
2
Mathematical theory of computation
2
Philosophy of language
2
Science: general issues
2
Semantics
2
Software Engineering
2
Western philosophy, from c 1900 -
2
Algorithms and data structures
1
Axiomati-sation
1
Basic power
1
Bimodal logic
1
Binary operators
1
Blok Dichotomy
1
Boolean algebras with operators
1
Computer circuits
1
Computer networking and communications
1
David Kaplan
1
Finite sequence
1
Fitch’s Paradox
1
Games
1
Imperfect information
1
Information Systems
1
Knowledge representation
1
Linear inequalities
1
-
221by Laurent Fontaine“... of modal linguistics and modal logic. Using these definitions, the study of the speech of shamans reveals...”
Published 2016-04-01
Get full text
Article -
222by David Sherry“.... The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own...”
Published 2008-02-01
Get full text
Article -
223“...-checking. In this paper the reflexive common knowledge logic based on modal logic K2 is considered...”
Get full text
Article -
224
-
225by Manuela E. B. Giolfo“... formalization of conditional systems by means of standard modal logic S4 is then given and discussed....”
Published 2006-01-01
Get full text
Article -
226by Juan Manuel Campos Benítez“... uses in the temporal and modal logic, and Tomás de Mercado’s quantified modality. The square’s logical...”
Published 2013-11-01
Get full text
Article -
227by Marco Bernardo“... behavioral equivalence is a congruence, has a sound and complete axiomatization, has a modal logic...”
Published 2009-12-01
Get full text
Article -
228“... communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL), a modal...”
Get full text
Article -
229by Maria, GĂF-DEAC“... into economic science and practice of corporate logic, modal logic as part of trust and distrust, to operate...”
Published 2014-11-01
Get full text
Article -
230by Otávio Bueno“... three proposals: modalism (an interpretation of mathematics in terms of modal logic), quasi-empirical...”
Published 2013-08-01
Get full text
Article -
231“... for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4. ...”
Get full text
Article -
232Published 2020-05-01“... DOI: http://doi.org/10.26333/stsen.xxx.02 In Kripke-semantics for modal logic, the truth value...”
Get full text
Article -
233by Ori Simchen“...: mceinline;">phi</span></em>. It is validated by the most straightforward systems of quantified modal logic...”
Published 2013-09-01
Get full text
Article -
234by Malpass, Alex P.“... of temporal and modal logic and model theory. In chapter three I examine various ways of construing the future...”
Published 2011
Get full text
-
235
-
236
-
237by Kohei Kishida“...The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic...”
Published 2017-07-01
Get full text
Article -
238by Michael De“... of quantified modal logic, according to which an object has a property essentially just in case (i) it has...”
Published 2020-09-01
Get full text
Article -
239“... of science [10, 15, 8, 9, 2], statistics [6, 7] and modal logic [17, 4]. In those applications, open sets...”
Get full text
Article -
240by Lidia Tendera“... describing the image of the standard translation of modal logic to first-order logic. This applies most...”
Published 2017-03-01
Get full text
Article
