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
-
241“... theories, and their automated reasoners, have requirements that are different from modal logics used...”
Get full text
Article -
242“... and the reasons for conflicts, we present a logical framework that adopts concepts from epistemic and modal logic...”
Get full text
Article -
243by Kohei Kishida“... characterization of contextuality will then be given in terms of a dynamic modal logic of the models I put forward....”
Published 2014-12-01
Get full text
Article -
244by Angel Garrido“.... So, it is absolutely necessary to introduce more sophisticated tools, such as Fuzzy Logic, Modal...”
Published 2010-01-01
Get full text
Article -
245“.... This paper introduces a hybrid modal logic for k-layered transition systems, its first-order standard...”
Get full text
Article -
246“...We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic...”
Get full text
Article -
247by Vitaliy Radchuk“... that human history is only enriched with human modal logic, in particular with the Conditional Mood that has...”
Published 2013-02-01
Get full text
Article -
248by Michael Mendler“... realisability interpretation of intuitionistic modal logic (also known as Curry-Howard-Isomorphism...”
Published 2011-01-01
Get full text
Article -
249by Bruno Desachy“... Stratifiant). Simple tools of modal logic allow to treat this uncertainty. This formalization takes place...”
Published 2012-04-01
Get full text
Article -
250“... for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4....”
Get full text
Article -
251by Angel Garrido“... />Fuzzy Logic, Modal Logic, Non-Monotonic Logic, and so on. When you are searching the possible...”
Published 2011-05-01
Get full text
Article -
252“... usually expresses conditionals in possible world semantics and constructs their own theories with modal...”
Get full text
Others -
253by Wakely, Richard“... (1969), the formulae of modal logic, etc. Tables comparing the two languages are presented, using...”
Published 1978
Get full text
-
254“..., symbolic reasoning, modal logic), with novel concepts from neuromorphic engineering in combination...”
Get full text
Article -
255Published 2020-05-01“... in the language of temporal-modal logic of predicates for models of indeterministic time. ...”
Get full text
Article -
256by Marek A. Suchenek“.... The paper also offers a proof that the consequence operation CnS5 of modal logic S5 is the maximal monotonic...”
Published 2011-12-01
Get full text
Article -
257by Angel Garrido“... necessary to introduce more sophisticated tools, as may be Fuzzy Logic, Modal Logic, Non-<br />...”
Published 2010-09-01
Get full text
Article -
258“...; amongst them, Fuzzy Logic, Modal Logic, Non-Monotonic Logic, Para-consistent Logic, and so on. All them...”
Get full text
Article -
259“... fixed point modal logic to express both components and systems requirements. We establish the important...”
Get full text
Article -
260by Gregory, D. I.“... in modal logic. The thesis concludes by considering attempts to view talk about possible worlds...”
Published 2001
Get full text