<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=77.58.0.0%2F16</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=77.58.0.0%2F16"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/77.58.0.0/16"/>
	<updated>2026-07-27T09:16:51Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Connected_dominating_set&amp;diff=242532</id>
		<title>Connected dominating set</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Connected_dominating_set&amp;diff=242532"/>
		<updated>2014-08-23T16:25:38Z</updated>

		<summary type="html">&lt;p&gt;77.58.32.254: /* Complementarity */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Greetings. The author&#039;s title is Phebe and she feels comfortable when individuals use the [http://my.clevelandclinic.org/disorders/venereal_diseases/hic_genital_warts.aspx complete]  [http://computerrepairredlands.com/solid-advice-terms-candida-albicans/ visit the up coming article] name. Hiring is her day job now and she will not alter it whenever quickly. Doing ceramics is what her family members and her enjoy. Puerto Rico is where he&#039;s always been residing but she  std testing at  home std  [http://3bbc.com/index.php?do=/profile-548128/info/ over the counter std test] test kit home [http://Www.Feminist.com/resources/ourbodies/std.html requirements] to move because of her family.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Feel free to surf to my homepage home std test kit [[http://nxnn.info/blog/284637 visit this website link]]&lt;/div&gt;</summary>
		<author><name>77.58.32.254</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=High_availability&amp;diff=12600</id>
		<title>High availability</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=High_availability&amp;diff=12600"/>
		<updated>2014-01-21T18:46:09Z</updated>

		<summary type="html">&lt;p&gt;77.58.250.66: /* Closely related concepts */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&#039;&#039;&#039;Epistemic modal logic&#039;&#039;&#039; is a subfield of [[modal logic]] that is concerned with reasoning about [[knowledge]].  While [[epistemology]] has a long philosophical tradition dating back to [[Ancient Greece]], epistemic logic is a much more recent development with applications in many fields, including [[philosophy]], [[theoretical computer science]], [[artificial intelligence]], [[economics]] and [[linguistics]].  While philosophers since [[Aristotle]] have discussed modal logic, and [[Medieval Philosophy|Medieval philosophers]] such as [[William of Ockham|Ockham]] and [[Duns Scotus]] developed many of their observations, it was [[C. I. Lewis|C.I. Lewis]] who created the first symbolic and systematic approach to the topic, in 1912.  It continued to mature as a field, reaching its modern form in 1963 with the work of [[Saul Kripke|Kripke]].&lt;br /&gt;
&lt;br /&gt;
==Historical development==&lt;br /&gt;
Many papers were written in the fifties that spoke of a logic of knowledge in passing, but it was Finnish philosopher [[Georg Henrik von Wright|von Wright]]&#039;s paper &#039;&#039;An Essay in Modal Logic&#039;&#039; from 1951 that is seen as a founding document.  It was not until 1962 that another Finn, [[Jaakko Hintikka|Hintikka]], would write &#039;&#039;Knowledge and Belief&#039;&#039;, the first book-length work to suggest using modalities to capture the semantics of knowledge rather than the [[alethic moods|alethic]] statements typically discussed in modal logic.  This work laid much of the groundwork for the subject, but a great deal of research has taken place since that time.  For example, epistemic logic has been combined recently with some ideas from [[dynamic logic (modal logic)|dynamic logic]] to create [[public announcement logic]] and [[product update logic]], which attempt to model the epistemic subtleties of conversations. The seminal works in this field are by Plaza, [[Johan van Benthem (logician)|van Benthem]], and Baltag, Moss, and Solecki.&lt;br /&gt;
&lt;br /&gt;
==Standard possible worlds model==&lt;br /&gt;
Most attempts at modeling knowledge have been based on the [[possible world]]s model.  In order to do this, we must divide the set of possible worlds between those that are compatible with an agent&#039;s knowledge, and those that are not. This generally conforms with common usage. If I know that it is either Friday or Saturday, then I know for sure that it is not Thursday. There is no possible world compatible with my knowledge where it is Thursday, since in all these worlds it is either Friday or Saturday. While we will primarily be discussing the logic-based approach to accomplishing this task, it is worthwhile to mention here the other primary method in use, the [[Event (philosophy)|event]]-based approach.  In this particular usage, events are sets of possible worlds, and knowledge is an operator on events.  Though the strategies are closely related, there are two important distinctions to be made between them:&lt;br /&gt;
* The underlying mathematical model of the logic-based approach are [[Kripke structure]]s, while the event-based approach employs the related [[Aumann structures]].&lt;br /&gt;
* In the event-based approach logical formulas are done away with completely, while the logic-based approach uses the system of modal logic.&lt;br /&gt;
Typically, the logic-based approach has been used in fields such as philosophy, logic and AI, while the event-based approach is more often used in fields such as [[game theory]] and [[mathematical economics]].  In the logic-based approach, a syntax and semantics have been built using the language of modal logic, which we will now describe.&lt;br /&gt;
&lt;br /&gt;
===Syntax===&lt;br /&gt;
The basic [[modal operator]] of epistemic logic, usually written &#039;&#039;K&#039;&#039;, can be read as &amp;quot;it is known that,&amp;quot; &amp;quot;it is epistemically necessary that,&amp;quot; or &amp;quot;it is inconsistent with what is known that not.&amp;quot;  If there is more than one agent whose knowledge is to be represented, subscripts can be attached to the operator (&amp;lt;math&amp;gt;\mathit{K}_1&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;\mathit{K}_2&amp;lt;/math&amp;gt;, etc.) to indicate which agent one is talking about.  So &amp;lt;math&amp;gt;\mathit{K}_a\varphi&amp;lt;/math&amp;gt; can be read as &amp;quot;Agent &amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt; knows that &amp;lt;math&amp;gt;\varphi&amp;lt;/math&amp;gt;.&amp;quot;  Thus, epistemic logic can be an example of [[multimodal logic]] applied for [[knowledge representation]].&amp;lt;ref&amp;gt;p.&amp;amp;nbsp;257 in: {{cite book |last=Ferenczi |first=Miklós |title=Matematikai logika |publisher=Műszaki könyvkiadó |location=Budapest |year=2002 |language=Hungarian |isbn=963-16-2870-1}}&lt;br /&gt;
: 257&amp;lt;/ref&amp;gt; The dual of &#039;&#039;K&#039;&#039;, which would be in the same relationship to &#039;&#039;K&#039;&#039; as &amp;lt;math&amp;gt;\Diamond&amp;lt;/math&amp;gt; is to &amp;lt;math&amp;gt;\Box&amp;lt;/math&amp;gt;, has no specific symbol, but can be represented by &amp;lt;math&amp;gt;\neg K_a \neg \varphi&amp;lt;/math&amp;gt;, which can be read as &amp;quot;&amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt; does not know that not &amp;lt;math&amp;gt;\varphi&amp;lt;/math&amp;gt;&amp;quot; or &amp;quot;It is consistent with &amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt;&#039;s knowledge that &amp;lt;math&amp;gt;\varphi&amp;lt;/math&amp;gt; is possible&amp;quot;. The statement &amp;quot;&amp;lt;math&amp;gt;a&amp;lt;/math&amp;gt; does not know whether or not &amp;lt;math&amp;gt;\varphi&amp;lt;/math&amp;gt;&amp;quot; can be expressed as &amp;lt;math&amp;gt;\neg K_a\varphi \land \neg K_a\neg\varphi&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
In order to accommodate notions of [[Common knowledge (logic)|common knowledge]] and [[distributed knowledge]], three other modal operators can be added to the language.  These are &amp;lt;math&amp;gt;\mathit{E}_\mathit{G}&amp;lt;/math&amp;gt;, which reads &amp;quot;every agent in group G knows;&amp;quot; &amp;lt;math&amp;gt;\mathit{C}_\mathit{G}&amp;lt;/math&amp;gt;, which reads &amp;quot;it is common knowledge to every agent in G;&amp;quot; and &amp;lt;math&amp;gt;\mathit{D}_\mathit{G}&amp;lt;/math&amp;gt;, which reads &amp;quot;it is distributed knowledge to every agent in G.&amp;quot;  If &amp;lt;math&amp;gt;\varphi&amp;lt;/math&amp;gt; is a formula of our language, then so are &amp;lt;math&amp;gt;\mathit{E}_G \varphi&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;\mathit{C}_G \varphi&amp;lt;/math&amp;gt;, and &amp;lt;math&amp;gt;\mathit{D}_G \varphi&amp;lt;/math&amp;gt;.  Just as the subscript after &amp;lt;math&amp;gt;\mathit{K}&amp;lt;/math&amp;gt; can be omitted when there is only one agent, the subscript after the modal operators &amp;lt;math&amp;gt;\mathit{E}&amp;lt;/math&amp;gt;, &amp;lt;math&amp;gt;\mathit{C}&amp;lt;/math&amp;gt;, and &amp;lt;math&amp;gt;\mathit{D}&amp;lt;/math&amp;gt; can be omitted when the group is the set of all agents.&lt;br /&gt;
&lt;br /&gt;
===Semantics===&lt;br /&gt;
As we mentioned above, the logic-based approach is built upon the possible worlds model, the semantics of which are often given definite form in Kripke structures, also known as Kripke models.  A Kripke structure &#039;&#039;M&#039;&#039; for &#039;&#039;n&#039;&#039; agents over &amp;lt;math&amp;gt;\Phi&amp;lt;/math&amp;gt; is a triple &amp;lt;math&amp;gt;(S, \pi, \mathcal{K}_1, ..., \mathcal{K}_n)&amp;lt;/math&amp;gt;, where S is a nonempty set of &#039;&#039;states&#039;&#039; or &#039;&#039;possible worlds&#039;&#039;, &amp;lt;math&amp;gt;\pi&amp;lt;/math&amp;gt; is an &#039;&#039;interpretation&#039;&#039; which associates with each state in S a truth assignment to the primitive propositions in &amp;lt;math&amp;gt;\Phi&amp;lt;/math&amp;gt;, and &amp;lt;math&amp;gt;\mathcal{K}_1, ..., \mathcal{K}_n&amp;lt;/math&amp;gt; are [[binary relation]]s on S for &#039;&#039;n&#039;&#039; numbers of agents.  It is important here not to confuse &amp;lt;math&amp;gt;K_i&amp;lt;/math&amp;gt;, our modal operator, and &amp;lt;math&amp;gt;\mathcal{K}_i&amp;lt;/math&amp;gt;, our accessibility relation.&lt;br /&gt;
&lt;br /&gt;
The truth assignment tells us whether or not a proposition &#039;&#039;p&#039;&#039; is true or false in a certain state.  So &amp;lt;math&amp;gt;\pi (s)(p)&amp;lt;/math&amp;gt; tells us whether &#039;&#039;p&#039;&#039; is true in state &#039;&#039;s&#039;&#039; in model &amp;lt;math&amp;gt;\mathcal{M}&amp;lt;/math&amp;gt;.  Truth depends not only on the structure, but on the current world as well.  Just because something is true in one world does not mean it is true in another.  To state that a formula &amp;lt;math&amp;gt;\varphi&amp;lt;/math&amp;gt; is true at a certain world, one writes &amp;lt;math&amp;gt;(M,s) \models \varphi&amp;lt;/math&amp;gt;, normally read as &amp;quot;&amp;lt;math&amp;gt;\varphi&amp;lt;/math&amp;gt; is true at (M,s),&amp;quot; or &amp;quot;(M,s) satisfies &amp;lt;math&amp;gt;\varphi&amp;lt;/math&amp;gt;&amp;quot;.&lt;br /&gt;
&lt;br /&gt;
It is useful to think of our binary relation &amp;lt;math&amp;gt;\mathcal{K}_i&amp;lt;/math&amp;gt; as a &#039;&#039;possibility&#039;&#039; relation, because it is meant to capture what worlds or states agent &#039;&#039;i&#039;&#039; considers to be possible.  In idealized accounts of knowledge (e.g., describing the epistemic status of perfect reasoners with infinite memory capacity), it makes sense for &amp;lt;math&amp;gt;\mathcal{K}_i&amp;lt;/math&amp;gt; to be an [[equivalence relation]], since this is the strongest form and is the most appropriate for the greatest number of applications.  An equivalence relation is a binary relation that is [[Reflexive relation|reflexive]], [[Symmetric relation|symmetric]], and [[Transitive relation|transitive]].  The accessibility relation does not have to have these qualities; there are certainly other choices possible, such as those used when modeling belief rather than knowledge.&lt;br /&gt;
&lt;br /&gt;
==The properties of knowledge==&lt;br /&gt;
&lt;br /&gt;
Assuming that &amp;lt;math&amp;gt;\mathcal{K}_i&amp;lt;/math&amp;gt; is an equivalence relation, and that the agents are perfect reasoners, a few properties of knowledge can be derived.  The properties listed here are often known as the &amp;quot;S5 Properties,&amp;quot; for reasons described in the Axiom Systems section below.&lt;br /&gt;
&lt;br /&gt;
===The distribution axiom===&lt;br /&gt;
This axiom is traditionally known as &#039;&#039;&#039;K&#039;&#039;&#039;.  In epistemic terms, it states that if an agent knows &amp;lt;math&amp;gt;\varphi&amp;lt;/math&amp;gt; and knows that &amp;lt;math&amp;gt;\varphi \implies \psi&amp;lt;/math&amp;gt;, then the agent must also know &amp;lt;math&amp;gt;\,\psi&amp;lt;/math&amp;gt;.  So,&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;(K_i\varphi \land K_i(\varphi \implies \psi)) \implies K_i\psi&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
===The knowledge generalization rule===&lt;br /&gt;
Another property we can derive is that if &amp;lt;math&amp;gt;\phi&amp;lt;/math&amp;gt; is valid, then &amp;lt;math&amp;gt;K_i\phi&amp;lt;/math&amp;gt;.  It does not mean that if &amp;lt;math&amp;gt;\phi&amp;lt;/math&amp;gt; is true, that agent i knows &amp;lt;math&amp;gt;\phi&amp;lt;/math&amp;gt;.  What it means is that if &amp;lt;math&amp;gt;\phi&amp;lt;/math&amp;gt; is true in every world that an agent considers to be a possible world, then the agent must know &amp;lt;math&amp;gt;\phi&amp;lt;/math&amp;gt; at every possible world. This principle is traditionally called &#039;&#039;&#039;N&#039;&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\text{if }M \models \varphi\text{ then }M \models K_i \varphi.\,&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
===The knowledge or truth axiom===&lt;br /&gt;
This axiom is also known as &#039;&#039;&#039;T&#039;&#039;&#039;.  It says that if an agent knows facts, the facts must be true.  This has often been taken as the major distinguishing feature between knowledge and belief.  We can believe a statement to be true when it is false, but it would be impossible to &#039;&#039;know&#039;&#039; a false statement.&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;K_i \varphi \implies \varphi&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
===The positive introspection axiom===&lt;br /&gt;
This property and the next state that an agent has introspection about its own knowledge, and are traditionally known as &#039;&#039;&#039;4&#039;&#039;&#039; and &#039;&#039;&#039;5&#039;&#039;&#039;, respectively.  The Positive Introspection Axiom, also known as the KK Axiom, says specifically that agents &#039;&#039;know that they know what they know&#039;&#039;.  This axiom may seem less obvious than the ones listed previously, and [[Timothy Williamson]] has argued against its inclusion forcefully in his book, &#039;&#039;Knowledge and Its Limits&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;K_i \varphi \implies K_i K_i \varphi&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
===The negative introspection axiom===&lt;br /&gt;
The Negative Introspection Axiom says that agents &#039;&#039;know that they do not know what they do not know&#039;&#039;.&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\neg K_i \varphi \implies K_i \neg K_i \varphi&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
===Axiom systems===&lt;br /&gt;
Different modal logics can be derived from taking different subsets of these axioms, and these logics are normally named after the important axioms being employed.  However, this is not always the case.  KT45, the modal logic that results from the combining of &#039;&#039;&#039;K&#039;&#039;&#039;, &#039;&#039;&#039;T&#039;&#039;&#039;, &#039;&#039;&#039;4&#039;&#039;&#039;, &#039;&#039;&#039;5&#039;&#039;&#039;, and the Knowledge Generalization Rule, is primarily known as [[S5 (modal logic)|S5]].  This is why the properties of knowledge described above are often called the S5 Properties.&lt;br /&gt;
&lt;br /&gt;
Epistemic logic also deals with belief, not just knowledge. The basic modal operator is usually written &#039;&#039;B&#039;&#039; instead of &#039;&#039;K&#039;&#039;. In this case though, the knowledge axiom no longer seems right—agents only sometimes believe the truth—so it is usually replaced with the Consistency Axiom, traditionally called &#039;&#039;&#039;D&#039;&#039;&#039;:&lt;br /&gt;
&lt;br /&gt;
: &amp;lt;math&amp;gt;\neg B_i \bot&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
which states that the agent does not believe a contradiction, or that which is false.  When &#039;&#039;&#039;D&#039;&#039;&#039; replaces &#039;&#039;&#039;T&#039;&#039;&#039; in S5, the resulting system is known as KD45.  This results in different properties for &amp;lt;math&amp;gt;\mathcal{K}_i&amp;lt;/math&amp;gt; as well.  For example, in a system where an agent &amp;quot;believes&amp;quot; something to be true, but it is not actually true, the accessibility relation would be non-reflexive.  The logic of belief is called [[doxastic logic]].&lt;br /&gt;
&lt;br /&gt;
==Problems with the possible world model and modal model of knowledge==&lt;br /&gt;
If we take the possible worlds approach to knowledge, it follows that our epistemic agent &#039;&#039;a&#039;&#039; knows all the [[logical consequence]]s of his or her or its beliefs. If &amp;lt;math&amp;gt;Q&amp;lt;/math&amp;gt; is a logical consequence of &amp;lt;math&amp;gt;P&amp;lt;/math&amp;gt;, then there is no possible world where &amp;lt;math&amp;gt;P&amp;lt;/math&amp;gt; is true but &amp;lt;math&amp;gt;Q&amp;lt;/math&amp;gt; is not. So if &#039;&#039;a&#039;&#039; knows that &amp;lt;math&amp;gt;P&amp;lt;/math&amp;gt;, it follows that all of the logical consequences of &amp;lt;math&amp;gt;P&amp;lt;/math&amp;gt; are true of all of the possible worlds compatible with &#039;&#039;a&#039;&#039; &#039;s beliefs. Therefore, &#039;&#039;a&#039;&#039; knows &amp;lt;math&amp;gt;Q&amp;lt;/math&amp;gt;. It is not epistemically possible for &#039;&#039;a&#039;&#039; that not-&amp;lt;math&amp;gt;Q&amp;lt;/math&amp;gt; given his knowledge that &amp;lt;math&amp;gt;P&amp;lt;/math&amp;gt;. This consideration was a part of what led [[Robert Stalnaker]] to develop [[two dimensionalism]], which can arguably explain how we might not know all the logical consequences of our beliefs even if there are no worlds where the propositions we know come out true but their consequences false.&amp;lt;ref&amp;gt;Stalnaker, Robert. &amp;quot;Propositions.&amp;quot; &#039;&#039;Issues in the Philosophy of Language&#039;&#039;. Yale UP, 1976. p. 101.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Even when we ignore possible world semantics and stick to axiomatic systems, this peculiar feature holds. With &#039;&#039;&#039;K&#039;&#039;&#039; and &#039;&#039;&#039;N&#039;&#039;&#039; (the Distribution Rule and the Knowledge Generalization Rule, respectively), which are axioms that are minimally true of all normal modal logics, we can prove that we know all the logical consequences of our beliefs. If &amp;lt;math&amp;gt;Q&amp;lt;/math&amp;gt; is a logical consequence of &amp;lt;math&amp;gt;P&amp;lt;/math&amp;gt;, then we can derive &amp;lt;math&amp;gt;\mathcal{K}_a (P \rightarrow Q)&amp;lt;/math&amp;gt; with &#039;&#039;&#039;N&#039;&#039;&#039; and the [[conditional proof]] and then &amp;lt;math&amp;gt;\mathcal{K}_a P \rightarrow \mathcal{K}_a Q&amp;lt;/math&amp;gt; with &#039;&#039;&#039;K&#039;&#039;&#039;. When we translate this into epistemic terms, this says that if &amp;lt;math&amp;gt;Q&amp;lt;/math&amp;gt; is a logical consequence of &amp;lt;math&amp;gt;P&amp;lt;/math&amp;gt;, then &#039;&#039;a&#039;&#039; knows that it is, and if &#039;&#039;a&#039;&#039; knows &amp;lt;math&amp;gt;P&amp;lt;/math&amp;gt;, &#039;&#039;a&#039;&#039; knows &amp;lt;math&amp;gt;Q&amp;lt;/math&amp;gt;. That is to say, &#039;&#039;a&#039;&#039; knows all the logical consequences of every proposition. This is necessarily true of all classical modal logics. But then, for example, if &#039;&#039;a&#039;&#039; knows that prime numbers are divisible only by themselves and the number one, then &#039;&#039;a&#039;&#039; knows that 8683317618811886495518194401279999999 is prime (since this number is only divisible by itself and the number one). That is to say, under the modal interpretation of knowledge, when &#039;&#039;a&#039;&#039; knows the definition of a prime number, &#039;&#039;a&#039;&#039; knows that this number is prime. It should be clear at this point that &#039;&#039;a&#039;&#039; is not human. This shows that epistemic modal logic is an idealized account of knowledge, and explains objective, rather than subjective knowledge (if anything).&amp;lt;ref&amp;gt;See Ted Sider&#039;s [http://homepages.nyu.edu/~ts65/books/lfp/lfp.html Logic for Philosophy]. Currently page 230 but subject to change following updates.&amp;lt;/ref&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==See also==&lt;br /&gt;
{{Portal|Logic}}&lt;br /&gt;
* [[Common knowledge (logic)|Common knowledge]]&lt;br /&gt;
* [[Epistemic closure]]&lt;br /&gt;
* [[Epistemology]]&lt;br /&gt;
* [[Logic in computer science]]&lt;br /&gt;
* [[Modal logic]]&lt;br /&gt;
* &#039;&#039;[[Philosophical Explanations]]&#039;&#039;&lt;br /&gt;
* [[Two-dimensionalism]]&lt;br /&gt;
&lt;br /&gt;
==Notes==&lt;br /&gt;
&amp;lt;references/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
*Anderson, A. and N. D. Belnap.  &#039;&#039;Entailment: The Logic of Relevance and Necessity.&#039;&#039;  Princeton: [[Princeton University Press]], 1975. ASIN B001NNPJL8.&lt;br /&gt;
* {{cite book | first1=Ronald | last1=Fagin | first2=Joseph | last2=Halpern | first3 = Yoram | last3 = Moses |first4=Moshe | last4=Vardi | title=Reasoning about Knowledge | location=Cambridge | publisher=[[MIT Press]] | year=2003 | isbn=978-0-262-56200-3}}. A classic reference.&lt;br /&gt;
* Ronald Fagin, Joseph Halpern, Moshe Vardi.  &amp;quot;A nonstandard approach to the logical omniscience problem.&amp;quot;  &#039;&#039;Artificial&#039;&#039; &#039;&#039;Intelligence&#039;&#039;, Volume 79, Number 2, 1995, p.&amp;amp;nbsp;203-40.&lt;br /&gt;
*Hendricks, V.F. &#039;&#039;Mainstream and Formal Epistemology.&#039;&#039;  New York: [[Cambridge University Press]], 2007.&lt;br /&gt;
* {{cite book | first1=Jaakko | last1 = Hintikka | title=Knowledge and Belief  - An Introduction to the Logic of the Two Notions| location=Ithaca | publisher =[[Cornell University Press]] | year=1962 | isbn=978-1-904987-08-6}}.&lt;br /&gt;
*Meyer, J-J C., 2001, &amp;quot;Epistemic Logic,&amp;quot; in Goble, Lou, ed., &#039;&#039;The Blackwell Guide to Philosophical Logic&#039;&#039;. [[Blackwell Publishing|Blackwell]].&lt;br /&gt;
*Montague, R.  &amp;quot;Universal Grammar&amp;quot;.  &#039;&#039;Theoretica&#039;&#039;, Volume 36, 1970, p.&amp;amp;nbsp;373-398.&lt;br /&gt;
* {{cite book | last1=Rescher | first1=Nicolas | title=Epistemic Logic: A Survey Of the Logic Of Knowledge | publisher=[[University of Pittsburgh Press]] | year=2005 | isbn=978-0-8229-4246-7}}.&lt;br /&gt;
* {{cite book | last1=Shoham | first1=Yoav | last2=Leyton-Brown | first2=Kevin | title=Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations | publisher=[[Cambridge University Press]] | isbn=978-0-521-89943-7 | url=http://www.masfoundations.org | year=2009 | location=New York}}. See Chapters 13 and 14; [http://www.masfoundations.org/download.html downloadable free online].&lt;br /&gt;
&lt;br /&gt;
==External links==&lt;br /&gt;
* {{IEP|de-logic|Dynamic Epistemic Logic}}&lt;br /&gt;
*{{PhilPapers|category|epistemic-logic}}&lt;br /&gt;
*{{InPho|idea/1444}}&lt;br /&gt;
*{{SEP|logic-epistemic|Epistemic Logic|Vincent Hendricks and John Symons}}&lt;br /&gt;
*{{SEP|logic-modal|Modal logic|James Garson}}&lt;br /&gt;
*{{SEP|common-knowledge|Common Knowledge|Peter Vanderschraaf}}&lt;br /&gt;
* &amp;quot;[http://www.informatik.uni-leipzig.de/~duc/Thesis/node8.html Epistemic modal logic]&amp;quot; -- Ho Ngoc Duc.&lt;br /&gt;
&lt;br /&gt;
{{Logic}}&lt;br /&gt;
&lt;br /&gt;
[[Category:Modal logic]]&lt;br /&gt;
[[Category:Artificial intelligence]]&lt;br /&gt;
[[Category:Formal epistemology]]&lt;/div&gt;</summary>
		<author><name>77.58.250.66</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Aberration_of_light&amp;diff=218672</id>
		<title>Aberration of light</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Aberration_of_light&amp;diff=218672"/>
		<updated>2012-09-02T12:53:22Z</updated>

		<summary type="html">&lt;p&gt;77.58.210.175: Corrected path of light&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Whenever you compare registry cleaners there are a amount of aspects to look out for. Because of the sheer amount of for registry cleaners accessible on the Internet at the moment it might be quite convenient to be scammed. Something frequently overlooked is the fact that a few of these products can the reality is end up damaging the PC. And the registry they state they have cleaned can merely lead to more difficulties with the computer than the ones you began with.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;We can reformat a computer to make it run quicker. This might reset your computer to when we first utilized it. Always remember to back up all files plus programs before doing this since this can remove the files from your database. Remember before we do this we require all the drivers plus installation files plus this ought to be a last resort if you are searching for slow computer strategies.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;If you compare registry products we require a swiftly acting registry cleaning. It&#039;s no good spending hours plus a PC waiting for a registry cleaning to complete its task. We want a cleaner to complete its task inside minutes.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;The issue with nearly all of the folks is that they do not like to invest income. In the cracked adaptation one does not have to pay anything plus could download it from web extremely easily. It is easy to install too. However, the problem comes when it really is not able to detect all possible viruses, spyware plus malware inside the system. This is because it is very obsolete in nature plus refuses to get any normal updates within the website downloaded. Thus, the program is accessible to difficulties like hacking.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;In a word, to accelerate windows XP, Vista startup, it&#039;s quite significant to disable certain business goods and clean and optimize the registry. You are able to follow the procedures above to disable unwanted programs. To optimize the registry, I recommend you use a [http://bestregistrycleanerfix.com/regzooka zookaware] software. Because it&#039;s surprisingly dangerous for you to edit the registry by yourself.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;The most probable cause of your trouble is the system problem - Registry Errors! That is the reason why persons that already have more than 2 G RAM on their computers are nevertheless continually bothered by the problem.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;You want a choice to automatically delete unwelcome registry keys. This may conserve you hours of laborious checking from a registry keys. Automatic deletion is a key element when you compare registry products.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Fortunately, there&#039;s a easy means to fix almost all a computer mistakes. You simply have to be capable to fix corrupt registry files on a computer. And to do which, you can merely utilize a tool recognised as a registry cleaner. These simple pieces of software really scan from a PC plus fix every corrupt file that would cause a problem to Windows. This allows the computer to utilize all the files it wants, which not only speeds it up - and stops all of the errors on your program because well.&lt;/div&gt;</summary>
		<author><name>77.58.210.175</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Dynamical_mean_field_theory&amp;diff=267990</id>
		<title>Dynamical mean field theory</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Dynamical_mean_field_theory&amp;diff=267990"/>
		<updated>2012-08-22T19:01:36Z</updated>

		<summary type="html">&lt;p&gt;77.58.144.33: /* The auxiliary problem: the Anderson impurity model */ dot was missing in h.c.&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Start with your own passions. If you really want to make money online, you should pick a field that you&#039;re interested in. After all, you are going to spend a lot of time with it. If you&#039;re only trying forex because you heard it made a lot of money, for example, you&#039;re going to be bitterly [http://www.comoganhardinheiro101.com/ ganhar dinheiro] disappointed when you fail because you don&#039;t know anything about it. Now that you&#039;ve read this guide, you now know tips on how to make money online. Use these tips for better cash flow. There are myriad opportunities to pad your pocket with online jobs. Soon, you could be raking it in. &amp;lt;br&amp;gt;&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;When you are in a hurry to make money, reading about the topic may seem frustrating. The fact is that the more you know, the faster and better you will be at bringing in income. This article has given you the foundation you need, so build on it with experience and more learning. If you did [http://www.comoganhardinheiro101.com/caracteristicas/ ganhe dinheiro na internet] not know you could make money online before now, you have been missing out. It is time to take control and make your own money online, too! The information given here should get you started. You will be surprised to learn just how many ways you can get started with online money making!&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;for those able to guide them through their learning. Tutoring [http://www.comoganhardinheiro101.com/?p=16 ganhando dinheiro na internet] is also highly rewarding from a philanthropic standpoint.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;After reading this article, you should be ready to start making some real cash online. All you have to do is to use the tips laid out here for you to use. You will find that making money online is easier than you thought, and that it is a real possibility for you. Thousands [http://www.comoganhardinheiro101.com/tag/opcoes-binarias/ ganhando dinheiro na internet] of people across the country are now making online and loving every minute of it. Print this article out and keep it where you can see it and refer to it when necessary. Making money online is not an opportunity that you will want to miss. It&#039;s time for you to get started!&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Do you have a heart for customer service? If so, you can make money online answering phone calls for businesses. Additionally, you can make money by chatting online with a business&#039;s customer to help them solve problems and answer their questions. There are many customer service sites available including: LiveOps, [http://www.comoganhardinheiro101.com/?p=4 como ganhar dinheiro na internet] Working Solutions and ACD Direct. Now that you&#039;ve read all of these great tips and tricks, you are primed to make some money online. Take your  como conseguir dinheiro time as you begin to figure out what niche is right for you. Once you find your money making opportunity, build up your drive and start tackling it with passion!&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;You can see that making money online is very possible. You just need good information to point you in the right way. Just remember that you will need to put in time and effort on it. Nothing will be handed to you on a silver platter. However, if you put in the effort, you will reap your [http://www.comoganhardinheiro101.com como ganhar dinheiro na internet] rewards. You can be among those who profit from working online. Use the ideas that were just presented to you. Soon, you will discover that you are able to make a steady income. Start with the suggestions that are the easiest and build your way up to working on all kinds of tasks.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Make an interesting blog. Make posts on it regularly. By using social media site, you can attract new viewers to your page. Once it becomes popular, you could get daily advertisements on your website. When people click over to the advertiser&#039;s site, you&#039;ll get a commission. Never invest a [http://www.comoganhardinheiro101.com/?p=71 ganhando dinheiro na internet] lot of money into any site that claims to offer you unlimited income opportunities. Chances are they will give you information you could have found yourself if you invested the time. This is true for online surveys as well as any other opportunities out there to make an additional income. &amp;lt;br&amp;gt;&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Now that you&#039;ve read this article, you know how to both find legitimate money making [http://ganhedinheiro.comoganhardinheiro101.com chances online] and utilize them. It&#039;s possible to make money through the Internet these days. Be sure you think about what you have just read when you look for work online. Start your online [http://www.comoganhardinheiro101.com/?p=14 como conseguir dinheiro] earning today by following the great advice discussed in this article. Earning money is not as hard as it may seem, you just need to know how to get started. By choosing to put your right foot forward, you are heading off to a great start earning money to make ends meet.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Write online to make money. There are quite a few legitimate companies that pay people to write articles online. You can find many different companies that will pay you to write different  [http://www.comoganhardinheiro101.com/slide-central/ como ganhar dinheiro na internet] content with varying topics. If you enjoy writing, you should do research to look for companies that will pay you to write [http://www.comoganhardinheiro101.com/index.php ganhe dinheiro na internet] online. Look for sources to write content for online venues. Article writing is very lucrative these days and you can take part in it. Understanding how to write and communicate well is key to this endeavor. Sharpen and hone your skills with writing and utilize this to pay big dividends to your online income.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Getting paid money to work online isn&#039;t the easiest thing to do in the world, but it is possible. If this is something you wish to work with, then the tips presented above should have helped you. Take some time, do things the right way and then you can succeed. Now [http://www.comoganhardinheiro101.com/opcoes-binarias/ como ganhar dinheiro pela internet] you probably are able to see that it is possible to make money online. Whether you&#039;re just needing a little bit of income, or you may want a career, you can get these things done now that you know this information. Good luck and don&#039;t forget to give it your all!&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;While the Internet is a 24/7/365 kind of place, you can still make money thinking seasonally. After a major holiday, like Christmas, buy as much holiday decor and related items when they are on clearance. Save the merchandise for nine or ten months and then resell when demand is high again. Some families store entire [http://www.comoganhardinheiro101.com/testemunhos/ como ganhar dinheiro pela internet] warehouses full of holiday yard inflatables for substantial profits a year later. You can now see, making money online is going to require some work. This piece ought to have proved useful, and you will ultimately get the results you want. Don&#039;t proceed hastily, and use what you&#039;ve learned here to ensure success.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Now you know how to start your online revenue stream. Keep your focus and make smart choices and you are sure to be a success. Be patient, and in time you&#039;ll see some excellent income flowing. You just needed to be pointed in the right direction. [http://www.comoganhardinheiro101.com/perguntas-frequentes/ ganhar dinheiro] These suggestions are methods that have worked for plenty of people and they can work for you, too. Anyone could make cash online, but you must keep learning if you desire to make money. Keep this in mind to get started as soon as possible.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Make money online by selling your talents. Good music is always in demand and with today&#039;s technological advances, anyone with musical talent can make music and offer it for sale to a broad audience. By setting up your own website and using social media for promotion, you can share your music with others and [http://www.comoganhardinheiro101.com/?p=4 como conseguir dinheiro] sell downloads with a free PayPal account. These suggestions ought to assist you in getting an income from the Internet. The more time you take to learn, the better prepared you will be when you begin. Search online for other articles to learn more so that you can make sure that you have financial success.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Whenever possible, buy in bulk and then sell individually to make money online. Buy collections of books, video games and music or collectibles. Then piece out the individual pieces one by one for multiple transactions to make the most possible money. Even consider buying on a site where something does not sell [http://www.comoganhardinheiro101.com/?p=71 como conseguir dinheiro] too well to a site where it should, like buying collections of used books on eBay and selling them individually on Amazon. Freelance. Have much experience with a keyboard? Look to websites like oDesk. You do not even have to be a great writer. It can be daunting, but it can help you make some additional income. &amp;lt;br&amp;gt;&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;As you can see from the above article, anyone can make money in the online world when they have a good idea and solid tips to follow. If you have been reluctant in the past to use the internet [http://www.comoganhardinheiro101.com/testemunhos/ ganhar dinheiro na internet] as a way to make money, you shouldn&#039;t have to worry any longer now that you read this article. Keep studying this topic, and soon you will see how it is possible to make [http://comoganhardinheiropelainternet.comoganhardinheiro101.com/ money online]. &amp;lt;br&amp;gt;&amp;lt;br&amp;gt;For more about [http://comoganhardinheironainternet.comoganhardinheiro101.com como conseguir dinheiro] review http://comoganhardinheironainternet.comoganhardinheiro101.com&lt;/div&gt;</summary>
		<author><name>77.58.144.33</name></author>
	</entry>
</feed>