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
-
381by Graham, Andrew J. (Andrew John)“... about metaphysical modality played in the development of modal logics applicable in many different...”
Published 2012
Get full text
Others -
382by Al Marhubi, Kamal Amran“... between automata and modal logics. These dualities are very much in the spirit of the classical Stone...”
Published 2010
Get full text
Others -
383
-
384by MARCELO FAGUNDES FELIX“... such as Software Architecture, Modeling Techniques and more formal disciplines like Model Checking, Modal Logics...”
Published 2004
Get full text
Get full text
Get full text
-
385by Hifume, Carlos“... named, by da Costa, partial structure. We present the modal logical system QT - a kind of Ja'skowski...”
Published 2003
Get full text
Get full text
Others -
386by Maksimovic, Petar“... language with Hoare Logic, Modal Logics in Hilbert and Natural Deduction style, and Non-Commutative Linear...”
Published 2013
Get full text
Get full text
Get full text
-
387by Maksimović, Petar“... paradigm, a small imperative language with Hoare Logic, Modal Logics in Hilbert and Natural Deduction style...”
Published 2013
Get full text
-
388by MARCELO FAGUNDES FELIX“... disciplines like Model Checking, Modal Logics and Process Algebra. Although inspired by such techniques...”
Published 2004
Get full text
Get full text
-
389by Zucchelli, Daniele“... to temporal and modal logics whose relativized satisfiability problem is decidable. The last contribution...”
Published 2008
Get full text
-
390by Touazi, Fayçal“... by conditional modal logics, in order to get a partial order on the whole propositional language. Some links...”
Published 2016
Get full text
-
391by Rius Font, Miquel“... (we have named them tetravalent modal logics (TMLs)) which are related to the tetravalent modal...”
Published 1992
Get full text
Doctoral Thesis -
392by Faucher, Benoît“... were elaborated and are still used today in spheres as varied as modal logics, analytic philosophy...”
Published 2014
Get full text
-
393by Ferreira, Francicleber Martins“... Logics are extensions of modal logics with hybrid terms which refer to single states in a Kripke model...”
Published 2016
Get full text
-
394by Fontaine, Alexia“... Quebec historian Lucie K. Morisset. These concepts provide the possibility for determining the modalities...”
Published 2017
Get full text
Doctoral Thesis -
395by Souza, Marlo Vieira dos Santos e“..., or DEL, is a family of dynamic modal logics to study information change and the dynamics of mental...”
Published 2016
Get full text
Others -
396by Souza, Marlo Vieira dos Santos e“..., or DEL, is a family of dynamic modal logics to study information change and the dynamics of mental...”
Published 2016
Get full text
Others -
397by Souza, Marlo Vieira dos Santos e“..., or DEL, is a family of dynamic modal logics to study information change and the dynamics of mental...”
Published 2016
Get full text
Others