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
-
281“... in semantics of modal logic made the belief that the challenge of empiricism may be defeated. In explaining...”
Get full text
Article -
282by Angel Garrido“..., as Fuzzy Logic, Modal Logic, Non-Monotonic Logic and so on [1, 2]. Among the things that AI needs...”
Published 2010-01-01
Get full text
Article -
283by l nabavi“... that the theory of "Decisive Necessity” is true and justified in a model of modal logic with equivalent...”
Published 2010-05-01
Get full text
Article -
284“... in semantics of modal logic made the belief that the challenge of empiricism may be defeated. In explaining...”
Get full text
Article -
285by Haag, Zsolt“... the requirements. The formalism is based on a commitment modelling approach and deontic logic, a modal logic, which...”
Published 2000
Get full text
-
286by Hoffmann, Guillaume“... et la décidabilité de certains de ces langages === Modal logics are logics enabling representing...”
Published 2010
Get full text
-
287by Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala“...In the plethora of fragments of Halpern and Shoham's modal logic of time intervals (HS), the logic...”
Published 2016-09-01
Get full text
Article -
288by Garion, Christophe“... by different agents, we have developped MF, a modal logic allowing to reason on belief bases obtained...”
Published 2002
Get full text
Others -
289by Angel GARRIDO“..., as fuzzy logic, modal logic, non-monotonic logic and so on [2]. Among the things that A I needs...”
Published 2012-12-01
Get full text
Article -
290
-
291by Evgeny Makarov“... data structures. Dynamic logic, an ex-ample of modal logic, is yet another formalism used...”
Published 2020-11-01
Get full text
Article -
292by Brewer, Nicola M.“.... The meanings expressed by this set of verbs are classified according to a framework derived from modal logic...”
Published 1987
Get full text
-
293by Dam, Mads F.“... equivalence such as testing and failures equivalence. We give characterisations of these in terms of modal...”
Published 1990
Get full text
-
294by Mortimer, M.“... axiomatisability of certain }{ý-categorical theories. The second part of this thesis is concerned with modal logic...”
Published 1974
Get full text
-
295
-
296“... logics: classical first order logic, higher order (with a description operator) and modal logic. We...”
Get full text
Article -
297by Gorsky, Samir, 1981-“... and Scott in the "Lemmon notes". We argue that the algebraic semantic for modal logic can serve as a basis...”
Published 2008
Get full text
Get full text
Others -
298by Fernando Fabrício Rodrigues Furtado“... === This work is in a simultaneous investigation in both modal logic and modal metaphysics. We...”
Published 2014
Get full text
Others -
299“... ancient philosophers and logicians both because of its reduction of modal logic to tense logic and its...”
Get full text
Others -
300by Lellmann, Björn“... of not necessarily normal modal logics based on minimal, intuitionistic or classical propositional logic...”
Published 2013
Get full text