
	Where results make sense

Topic: Modal frames

	Modal Logic (Stanford Encyclopedia of Philosophy)
		Modal logic is, strictly speaking, the study of the deductive behavior of the expressions ‘it is necessary that’ and ‘it is possible that’.
		The relationship between conditions on frames and corresponding axioms is one of the central topics in the study of modal logics.
		A corresponding condition on frames for GL-validity is that the frame be transitive, finite and irreflexive.
	plato.stanford.edu /entries/logic-modal (8730 words)

	XPCE class frame (Site not responding. Last check: )
		Class frame is responsible for communication to the X window manager and the layout of the associated frames.
		Class frame itself does not define frame.geometry, which implies the default position of the frame is determined by its contents and the default position by the X window manager.
		Using ->modal: transient the user must complete this frame before she may continue using the frame this frame is <-transient_for.
	gollem.science.uva.nl:8080 /class?name=frame (3302 words)

	Dynamic Drive DHTML Scripts- DHTML Modal window
		DHTML Modal window is an extension of the main DHTML Window Widget script, so make sure you've downloaded and extracted dhtmlwindow.zip first.
		Modal windows are often used to solicit information from visitors, such as a form contained inside the window.
		" event handler of a modal window to actually run your desired code when the window is about to be closed, you have all you need to examine, validate and retrieve the data entered into a modal window to a script on the calling page.
	dynamicdrive.com /dynamicindex8/dhtmlwindow/dhtmlmodal.htm (1394 words)

	A structural property on modal frames characterizing default logic (Site not responding. Last check: )
		Modal logics characterized by a class of frames satisfying the insertion property are shown to be suitable for Reiter's default logic.
		When reflexivity is added to the modal logic used for the fix point construction then the Marek Schwarz and Truszczynski framework for Reiter's default logic is obtained.
		The framework proposed is appropriate also when the family of modal logics in between S4 and S4f are used.
	www.dis.uniroma1.it /~ai/citations/amat-etal-96b.html (227 words)

	Modal frame (music) - Biocrawler (Site not responding. Last check: )
		In music a melodic mode (van der Merwe 1989, p.102-103) or modal frame is one of "a number of types permeating and unifying African, European, and American song" and melody (Middleton 1990, p.203) including parlour music.
		A note frame is a melodic mode that is atonic (without a tonic) or has an unstable tonic.
		The modal frame of The Beatles' A Hard Day's Night features a ladder of thirds axially centered on G with a ceiling note of Bb and floor note of Eb (the low C being a passing tone): (ibid)
	www.biocrawler.com /encyclopedia/Modal_frame_%28music%29 (341 words)

	Working with Windows, Frames, and Dialog Boxes
		Frames are a way to organize and structure HTML documents, creating compound views that the user sees within the main window of Internet Explorer.
		You can also gain access to the window that created the frame, called the parent window, and to the other frames created by the parent by using the parent property and the frames collection.
		Frames do not have status bars, so attempting to get or set the status property has no effect for the individual frames, and you should access the parent frameset document to set the status bar.
	msdn2.microsoft.com /en-us/library/ms533027.aspx (3352 words)

	Working with Windows, Frames, and Dialog Boxes
		Frames are a way to organize and structure HTML documents, creating compound views that the user sees within the main window of Internet Explorer.
		You can also gain access to the window that created the frame, called the parent window, and to the other frames created by the parent by using the parent property and the frames collection.
		Frames do not have status bars, so attempting to get or set the status property has no effect for the individual frames, and you should access the parent frameset document to set the status bar.
	msdn.microsoft.com /workshop/author/om/windows_frames_dialogs.asp (3322 words)

	[No title]
		MODAL is a package of tools for SGI video handling together with a set of image operations, which are useful for movement detection and localization.
		MODAL has a set of internal variables that stores image data and determines the way algorithms are performed.
		When grabbing a frame in MODAL, the pointer to the image data is by default returned before all video data has been written to memory.
	www.speech.kth.se /multimodal/MODAL/overview.html (463 words)

	[No title]
		A modality is a word that when applied to a statement indicates when, where, how, or under what circumstances the statement may be true.
		Modal languages have been found to be very useful in reasoning about relational structures that are frequently used in mathematics and computer science as well as other areas.
		Frames are just relational structures composed of a non-empty set W which represents the domain or universe of the relational structure and a binary relation R on W.
	vv.cs.byu.edu /logics (1683 words)

	Programming in XPCE/Prolog: Section 10.5
		This section discusses how frame references can be found, as well as how frames can force the user to deal with this frame first, in favour of all the other frames of the application: modal frames.
		An application is a subclass of visual, and optionally located between display and frame in the visual consists-of hierarchy.
		modal' works in combination with class application and transient frames to define what frames are temporary insensitive to events, forcing the user to operate on the modal frame first.
	hcs.science.uva.nl /projects/xpce/UserGuide/application.html (410 words)

	frame-mode (Site not responding. Last check: )
		If frame is modal, such as a dialog, then it must be dismissed before the user can interact with the user interface of an application (for instance, before a menu can be displayed).
		Typically, the user will move the frame to a convenient position on the screen and continue work, keeping the frame on screen for as long as is desired.
		System modal frames are rarely used, and should be used with caution.
	www.opendylan.org /documentation/opendylan/dref/dref_936.htm (179 words)

	summary.html (Site not responding. Last check: )
		The aim of the project was to use mathematical methods of modal logic for developing and investigating concept description logics intended for knowledge representation and reasoning in dynamic application domains.
		We studied two-dimensional Cartesian products of modal logics determined by infinite or arbitrarily long finite linear orders, and proved a general theorem showing that practically always these products turn out to be undecidable.
		This reduction made it possible to single out a number of decidable fragments of first-order temporal and modal logics, of two-sorted first-order logics in which one sort is intended for temporal reasoning, as well as to construct decidable description logics with the operators Since and Until based on various time-structures.
	www.doc.ic.ac.uk /~imh/frames_website/zakh_summary.html (426 words)

	Gmail accessibility [dive into mark]
		The frames do not have descriptive titles or names, and it is possible through tabbing to get lost in the wrong frame.
		Frame switches (such as canceling a message and returning to the inbox) are not announced like a new page, because in fact the browser is not loading a new page.
		It uses frames in such a way that prevents bookmarking and breaks the back button, and frames can not be loaded in isolation because every frame relies on scripts defined in other frames.
	www.diveintomark.org /archives/2004/04/10/gmail-accessibility (1634 words)

	java.net: The JModalWindow Project
		Due to the nature of modality, you cannot interact with the main one, and to top it all, the only way to return to the modal dialog is to use the combination of
		A fix for the incomplete repainting of a frame that sometimes occurs when a frame is de-iconified immediately after it was iconified.
		While the resulting window is modal with respect to mouse and keyboard input, the call to show is not blocking.
	today.java.net /pub/a/today/2004/09/07/modal.html?page=2 (2234 words)

	Creating Modal Internal Frames -- Approach 1 and Approach 2
		There are times however when you might want a dialog in an internal frame to be modal.
		To be truly modal, an internal frame needs to block once it is shown.
		In order to make an internal frame truly modal, you must take over the event dispatching yourself when the frame is shown.
	java.sun.com /developer/JDCTechTips/2001/tt1220.html (1557 words)

	Gianni Amati or Giambattista Amati Research Interests (Site not responding. Last check: )
		In A uniform tableau method for intuitionistic modal logics we study a family of standard modal logics with intuitionistic logic.
		InA structural property on modal frames characterizing default logic we show that there are many fixed-point paradigms for defining nonmonotonicity.
		Our modal logic systems in Modal operators with probabilistic interpretations are indeed sound and complete with respect to a class of probalistic extensions of Kripke's models.
	www.dcs.gla.ac.uk /~gianni/interests.html (523 words)

	Conferences / Symposia > Workshops : Japan Advanced Institute of Science and Technology, The 21st Century COE Program (Site not responding. Last check: )
		The interest of this variety comes from the fact that it gives a simultaneous treatment of the algebraic counterparts of modal logics and superintuitionistic logics, i.e., both the lattice of subvarieties of modal algebras and the lattice of subvarieties of Heyting algebras are complete sublattices of the lattice of varieties of weak Heyting algebras.
		We will show that completeness with respect to discrete frames is equivalent to many other, seemingly unrelated properties like certain form of algebraic completeness, admissibility of some non-standard rules or conservativity of so-called minimal hybrid extensions.
		Products of modal logics were introduced in the 1970s and have been intensively studied ever since.
	www.jaist.ac.jp /jaist-coe/eng/conferences/workshop_list/20041018_modal_sbstlogics.html (923 words)

	[No title] (Site not responding. Last check: )
		M.M. Bonsangue and M.Z. Kwiatkowska Re-Interpreting the Modal mu-Calculus We re-examine the modal mu-calculus in the light of some classical theory of Boolean algebras and recent results on duality theory for a modal logic with fixed points.
		Under this interpretation we relate image compact modal frames with Scott continuity of the box modality, m-saturated transition systems and descriptive modal frames.
		Also, it is shown that the class of image compact modal frames satisfies the Hennessy-Milner property.
	homepages.cwi.nl /~marcello/Abs/modal (115 words)

	XPCE Manual (Site not responding. Last check: )
		Frames are attached to it using the application initialisation argument application:
		Frame that currently acts as modal window for the application.
		Associating a frame with another application object will automatically delete it from the application it was a <-member of.
	gollem.swi.psy.uva.nl:8080 /man?for=application (317 words)

	wxDialog
		A modal dialog blocks program flow and user input on other windows until it is dismissed, whereas a modeless dialog behaves more like a frame in that program flow continues, and input in other windows is still possible.
		To show a modal dialog you should use the ShowModal method while to show a dialog modelessly you simply use Show, just as with frames.
		Note that the modal dialog is one of the very few examples of wxWindow-derived objects which may be created on the stack and not on the heap.
	www.wxwidgets.org /manuals/2.6.3/wx_wxdialog.html (1071 words)

	ACG - Homepage (Site not responding. Last check: )
		There is an obvious connection between coalgebra and modal logic: Coalgebras for an endofunctor T can be seen as abstract dynamic systems or transition systems, and modal logic seems to be the natural specification language to talk about these systems.
		Monotone modal logics generalise normal modal logics by weakening the requirement of additivity for the modal operator Box to monotonicity: From p ---> q infer Box p ---> Box q.
		This entails that Kripke frames no longer constitute an adequate semantics, instead (non-normal) monotone modal logics are interpreted over monotone neighbourhood frames of the form (W, N: W --> PPW) where N(w) is upwards closed.
	www.cwi.nl /htbin/acg/ACG.php4?tid=98 (212 words)

	Dialog (ELib API)
		A modal dialog is one which blocks input to all other toplevel windows in the application, except for any windows created with the dialog as their owner.
		When a modal Dialog is made visible, user input will be blocked to the other windows in the application, except for any windows created with this dialog as their owner.
		It is permissible to show modal dialogs from the event dispatching thread because the toolkit will ensure that another event pump runs while the one which invoked this method is blocked.
	www.erights.org /javadoc/java/awt/Dialog.html (1019 words)

	The cranky user: Constraining users with modal dialogs
		The modal dialog box has become a way for shoddy programs to attempt to ensure consistency; it is a thorn in the side of any user trying to get real work done.
		To be fair, the worst of this is not the application modal widget (which keeps the application you're using from responding until you've handled it), but the system modal widget, which prevents you from doing anything with your computer until you're done with this widget.
		The use of modal dialogs can be a usability nightmare, one that arises from the confusion of two different options: not letting the user do other things, and not letting the user see other things.
	www-106.ibm.com /developerworks/library/us-cranky12.html?dwzone=usability (1480 words)

	[No title] (Site not responding. Last check: )
		If the frame is set to modal then the focus remains in the Frame.
		When the Modal frame is showing other fields cannot be selected till the frame is dismissed using the Hide Method.
		Note: In frames Center aligned is not supported for texts on the tabs.
	www.go-db.com /GoDB_manual/XML_Tags/frame.htm (453 words)

	Modal frame (music) - meaning of word
		In music a melodic mode (van der Merwe 1989, p.102-103) or modal frame is one of "a number of types permeating and unifying Music of Africa, Music of Europe, and Music of the United States song" and melody (Middleton 1990, p.203) including parlour music.
		A note frame is a melodic mode that is atonic (without a tonic (music)) or has an unstable tonic.
		==See also== tune-family melodic motion ==Example== The modal frame of The Beatles' A Hard Day's Night (song) features a ladder of thirds axially centered on G with a ceiling note of Bb and floor note of Eb (the low C being a passing tone): (ibid) ==Source== *Middleton, Richard (1990/2002).
	www.wordsonline.org /Modal_frame_(music) (196 words)

	Semantics for normal modal logic: Kripke models
		Normal modal logics can be given a nice semantics by means of Kripke models, also known as possible worlds semantics.
		The common normal modal logics can be characterized by appropriate classes of Kripke models.
		does not contain any occurrence of the modal operator then it is provable in a system mentioned in the previous theorem if and only if it is provable in the propositional calculus.
	stinfwww.informatik.uni-leipzig.de /~duc/Thesis/node50.html (162 words)

	Modal MFC frame window - The Code Project - Dialog and Windows
		Sometimes, it may be useful to have a modal window with Doc/View architecture, toolbars/statusbar support (i.e.
		However, when I add a new function in that lets me create a new modal frame "on top of" the existing frame, by calling a function from within that modal frame, i get an assertion failure.
		It happens after i open a few successive modal frames, and then start closing them down.
	www.codeproject.com /dialog/modalframe.asp?df=100&forumid=15650&exp=0&select=1109586 (650 words)

	Pultrusion Research Abstracts - University of Mississippi CMRG (Site not responding. Last check: )
		The modal behavior of structures, which is governed by the dynamic characteristics of the constituent components, can be modified according to design requirements through hybridization of Pultruded Fiber-Reinforced Composites (PFRC).
		Experimental modal analysis (EMA), Laser vibration analysis (LVM) and finite element analysis (FEA) are employed for the identification and validation of modal properties of the primary and modified structures.
		The frames are dynamically modified for design flexibility by coupling various combinations of glass/epoxy and graphite/epoxy flat beams.
	www.olemiss.edu /depts/compmatl/abstract/abst083.html (302 words)

	Guide to Papers: Logics and Semantics of Computation
		The frame of open sets of a relational space has a natural modal structure; with appropriate morphisms, this extends to a contravariant functor from the category of relational spaces to the category of modal frames.
		In the first paper, categories of relational spaces and modal frames are defined and used to give a sound and complete semantics of propositional intuitionistic modal logic.
		p-frames consist of frames with a(n internal) binary relation, and are of some independent interest as well as providing an analysis of the construction of relational spaces from modal frames.
	www.cs.man.ac.uk /~david/publications/AGuide.html (766 words)

	Amazon.com: A New Introduction to Modal Logic: Books: M.J. Cresswell (Site not responding. Last check: )
		Modal Logic: An Introduction by Brian F. Chellas
		It gives a general survey of modal propositional and even modal predicate logic (this latter is pretty difficult and rarely presented in introductory books).
		They are clear, orderly, organized--but they don't provide the student with anything to make his or her foray into the subject any more pleasant.
	www.amazon.com /New-Introduction-Modal-Logic/dp/0415125995 (1196 words)

Try your search on: Qwika (all wikis)