
	Where results make sense

Topic: Hybrid Logic

Related Topics

Modal logic

Provability logic

Interpretability logic

Interior algebra

De dicto and de re

	CONK! Encyclopedia: Logic (Site not responding. Last check: 2007-10-14)
		The ambiguity is that "formal logic" is very often used with the alternate meaning of symbolic logic as we have defined it, with informal logic meaning any logical investigation that does not involve symbolic abstraction; it is this sense of 'formal' that is parallel to the received usages coming from "formal languages" or "formal theory".
		The boldest attempt to apply logic to mathematics was undoubtedly the logicism pioneered by philosopher-logicians such as Gottlob Frege and Bertrand Russell: the idea was that mathematical theories were logical tautologies, and the programme was to show this by means to a reduction of mathematics to logic.
		Again, relevance logic and dialetheism are the most important approaches here, though the concerns are different: the key issue that classical logic and some of its rivals, such as intuitionistic logic have is that they respect the principle of explosion, which means that the logic collapses if it is capable of deriving a contradiction.
	www.conk.com /search/encyclopedia.cgi?q=Logic (3408 words)

	Logic - Open Encyclopedia (Site not responding. Last check: 2007-10-14)
		Formal logic (sometimes called "symbolic logic") attempts to capture the nature of logical truth and inference in formal systems, which consist of a formal language, a set of rules of derivation (often called "rules of inference"), and sometimes a set of axioms.
		Aristotelian logic has principally been concerned with teaching good argument, and is still taught with that end today, while in mathematical logic and analytical philosophy much greater emphasis is placed on logic as an object of study in its own right, and so logic is studied at a more abstract level.
		Logic is extensively applied in the fields of artificial intelligence, and computer science, and these fields provide a rich source of problems in formal logic.
	open-encyclopedia.com /Logic (2307 words)

	Hybrid logic - Wikipedia, the free encyclopedia
		Hybrid logic refers to a number of extensions to modal logic with more expressive power, though still less than first-order logic.
		In formal logic, there is a trade-off between expressiveness and other, computational properties (how easily it is to compute/reason with logical languages).
		Hybrid logics have many features in common with temporal logic (which use nominal-like constructs to denote specific points in time), and they are a rich source of ideas for researchers in modern modal logic.
	en.wikipedia.org /wiki/Hybrid_logic (210 words)

	Temporal logic - Wikipedia, the free encyclopedia
		In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time.
		Temporal logic was first studied in depth by Aristotle, whose writings are filled with a crude form of first order temporal modal binary logic.
		Any logic which views time as a sequence of states is a temporal logic, and any logic which uses only two truth values is a binary logic.
	en.wikipedia.org /wiki/Temporal_logic (290 words)

	Read about Logic at WorldVillage Encyclopedia. Research Logic and learn about Logic here! (Site not responding. Last check: 2007-10-14)
		As such, of particular concern in logic is the structure of arguments — the formal relations between the newly produced assertions and the previously established ones, where "formal" means that the relations are independent of the assertions themselves.
		Bertrand Russell: the idea was that mathematical theories were logical tautologies, and the programme was to show this by means to a reduction of mathematics to logic.
		Sir Michael Dummett argues that Putnam's desire for realism mandates the law of distributivity: distributivity of logic is essential for the realist's understanding of how propositions are true of the world, in just the same way as he has argued the principle of bivalence is.
	encyclopedia.worldvillage.com /s/b/Logic (2596 words)

	ESSLLI 2004 - Introductory Course: Hybrid logics
		Hybrid languages extend traditional modal and temporal languages by providing mechanisms for naming states and referring to states by their names.
		We start the course with a gentle introduction to hybrid logic, explaining the motivation behind it and discussing sound and complete proof systems that have been introduced in the literature (in particular tableaux).
		Finally, an example of a concrete application for hybrid logic model checking is presented: the evaluation of queries and constraints for semistructured data (Classes 4 and 5).
	esslli2004.loria.fr /giveabs.php?65 (215 words)

	Modal logic Details, Meaning Modal logic Article and Explanation Guide
		Modal logic is most often used for talk of the so-called alethic modalities: "it is necessarily the case that..." or "it is possibly the case that...." These (also called metaphysical modalities or subjunctive modalities) need to be distinguished from various similar-sounding claims using epistemic modalities.
		Significantly, modal logics can be developed to accommodate most of these idioms; it is the fact of their common logical structure (the use of "intensional" or non-truth-functional sentential operators) that make them all varieties of the same thing.
		Although Aristotle's logic is almost entirely concerned with the theory of the categorical syllogism, his work also contains some extended arguments on points of modal logic (such as his famous Sea-Battle Argument in De Interpretatione § 9) and their connection with potentialities and with time.
	www.e-paranoids.com /m/mo/modal_logic.html (1667 words)

	LICS 2002 Workshops
		Logical frameworks and meta-languages are intended as a common substrate for implementing a wide variety of logics and formal systems.
		Logical frameworks themselves have been based on a variety of different languages including higher-order (intuitionistic) logics, theories of dependent types, linear logic, and modal logic.
		Linear logic was invented by Girard in 1986, and first appeared as a finer analysis of his denotational semantics of system F. It provides a decomposition of the connectives of intuitionistic logic (more recently also have appeared some interpretations of classical logic into linear logic).
	homepages.inf.ed.ac.uk /als/lics/lics02/workshops02.html (1774 words)

	Patrick Blackburn: About Modal and Hybrid Logic....
		Hybrid logic is the kind of modal logic I am most interested in.
		In their simplest form, hybrid logics are modal logics which allow reference to states (or worlds, or times, or situations, or ordinary individuals, or whatever else you want to talk about).
		Hybrid languages are also interesting from an applied perspective: many applications demand logical formalisms in which states can be named, and this is what hybrid logics offer.
	www.loria.fr /~blackbur/aboutModal.html (707 words)

	Report 2002 LED-CALG
		There is a special emphasis on the use of relatively weak logics (in particular the modal/description/hybrid family of logics) and on the use of tableau proof systems.
		This workshop which is associated with the Seventeenth Annual IEEE Symposium on Logic in Computer Science will draw together many of the researcher active in the field of hybrid logic.
		Hybrid Logic: Characterisation, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx.
	www.loria.fr /~blackbur/researchAlliance/report2002.html (2499 words)

	[No title] (Site not responding. Last check: 2007-10-14)
		The choice of PLD logic is peculiar, particularly at the several-hundred- to several-thousand-macrocell-count levels that Cypress plans to embed in its PSIs.
		Product-term logic is ideal for implementing address decoders and state machines as well as for translating between state machines, data and clock synchronization, handshake protocols and exception handling, control semaphores, and resource management.
		Register-rich FPGA logic, on the other hand, is ideal for the types of datapath functions you commonly find in the interface-translation applications that Cypress hopes to crack: arithmetic and logic transforms, synchronous pipelines, and similar circuits.
	www.reed-electronics.com /semiconductor/index.asp?layout=articlePrint&articleID=CA75256 (4798 words)

	Atlas Conferences (Site not responding. Last check: 2007-10-14)
		One simple form of a hybrid logic is a temporal logic in which a special sort of formulas called instant-propositions can be used to refer to specific instants in a model.
		Hybrid logics are closely related to the so-called description logics used for knowledge representation in computer science.
		Prior's work on hybrid logic was motivated by a philosophical debate regarding two different conceptions of time: The A-series and B-series conceptions of time.
	atlas-conferences.com /cgi-bin/calendar/d/facm00 (440 words)

	Hybrid logic - Encyclopedia.WorldSearch (Site not responding. Last check: 2007-10-14)
		Hybrid logic is a form of formal logic which extends modal logic with constructs allowing semantical features of its relational semantics to be expressed.
		The resulting language is as expressive as first-order logic; it is called hybrid since its ideas are a hybrid of ideas from modal logic and first-order logic.
		Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science)
	encyclopedia.worldsearch.com /hybrid_logic.htm (317 words)

	Hybrid Logic for Possibilistic Reasoning - Liau (ResearchIndex) (Site not responding. Last check: 2007-10-14)
		Abstract: Hybrid logic is an extension of modal logic with nominals for referring to the possible worlds.
		By using hybrid logic, the labelled deduction mechanism can be internalized to the object language, so the proof methods for the logic can be developed without resort to meta-linguistic devices.
		A Logical Analysis of the Relationship between Commitment and..
	citeseer.ist.psu.edu /liau01hybrid.html (459 words)

	NASSLLI 2002 (Site not responding. Last check: 2007-10-14)
		Summary: This course introduces hybrid logic, a form of modal logic in which it is possible to name worlds (or times, or computational states, or situations, or nodes in parse trees, or people --- indeed, whatever it is that the elements of Kripke Models are taken to represent).
		The first is to convey, as clearly as possible, the ideas and intuitions that have guided the development of hybrid logic.
		By the end of the course you will have seen ample evidence that modal logic is useful in a wide range of circumstances, and that hybrid logic is a particularly simple way of doing modal logic.
	www.stanford.edu /group/nasslli/courses/HybridLogic.htm (362 words)

	Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto - Blackburn (ResearchIndex) (Site not responding. Last check: 2007-10-14)
		Abstract: This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and xes the bad.
		But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this lessens its eectiveness as a representation formalism.
		In their simplest form, hybrid logics are upgraded modal logics in which reference to...
	citeseer.ist.psu.edu /blackburn00representation.html (984 words)

	Article 2: Hybrid Control Conversion (Site not responding. Last check: 2007-10-14)
		On the other hand, logical control is easy to be implemented using Boolean logic, very reliable and economical.
		Initially a logic control system is applied to maintain the water level at the appropriate level.
		The virtual machine, in addition, has one major advantage to be used in the control system in the given example in the sense that if the tank used has different dimensions then all the programmer need to do is to reprogramme the machine.
	www-dse.doc.ic.ac.uk /~nd/surprise_96/journal/vol2/ahak/article2.html (1549 words)

	LiB: clUB I: Patrick Blackburn (Site not responding. Last check: 2007-10-14)
		In orthodox modal logic it is not possible to refer to the states (times, worlds, individuals...) in models.
		In their simplest form, hybrid logics are a form of modal logic in which reference to states (times, worlds, individuals...) is possible.
		In this talk I will present an overview of hybrid logic, stressing the intuitions which have guided its development, indicating the uses to which it can be put, and generally trying to make clear exactly what advantages hybrid logic has over orthodox modal systems.
	www.lib.uni-bonn.de /CLUB-I.html (171 words)

	Hierarchical, Hybrid and Logic Control Group (Site not responding. Last check: 2007-10-14)
		Hybrid Dynamical Systems are characterized as systems in which (i) the state set possesses continuous and discrete components, and (ii) systems evolution may occur in both continuous and discrete time.
		The notion of dynamical consistency is extended to hybrid systems so as to define the set of dynamically consistent hybrid partition machines associated with a continuous system S. Following the formulation of the notions of between-block and in-block controllable hybrid partition machines, the lattice HIBC(S) of hybrid in-block controllable partition machines is defined and investigated.
		In this paper, the robustness properties of a hybrid partition machine with respect to deformations of the boundaries of the blocks of the partition is outlined.
	www.cim.mcgill.ca /~phubbard/papers.html (1375 words)

	Hybrid Logics on Linear Structures: Expressivity and Complexity
		We investigate expressivity and complexity of hybrid logics on linear structures.
		Hybrid logics are an enrichment of modal logics with certain first-order features which are algorithmically well behaved.
		We show that hybrid logics are more expressive than usual modal and temporal logics on linear structures, and exhibit a hierarchy of hybrid languages.
	csdl2.computer.org /persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/time-ictl/2003/1912/00/1912toc.xml&DOI=10.1109/TIME.2003.1214893 (223 words)

	HyLo 2006
		What is less obvious is that the route hybrid logic takes to overcome this problem (the basic mechanism being to add nominals - atomic symbols true at a unique point - together with extra modalities to exploit them) often actually improves the behavior of the underlying modal formalism.
		For example, it becomes far simpler to formulate modal tableau, resolution, and natural deduction in hybrid logic, and completeness and interpolation results can be proved of a generality that is simply not available in modal logic.
		The workshop continues a series of previous workshops on hybrid logic, for example the LICS-affiliated HyLo 2002 which was held as part of FLoC 2002, Copenhagen, Denmark.
	hylomol.ruc.dk /HyLo2006 (437 words)

	Publications by Maarten Marx (Site not responding. Last check: 2007-10-14)
		Maarten Marx In Arrow Logic and Multi-Modal Logic.
		Maarten Marx, Szabolcs Mikulas, Istvan Nemeti, Ildiko Sain In Arrow Logic and Multi-Modal Logic.
		Hybrid logic is the bounded fragment of first order logic
	staff.science.uva.nl /~marx/papers.html (893 words)

	ESM - Leopard Logic pursues 'hybrid' chip design (Site not responding. Last check: 2007-10-14)
		That's what one-time IP provider Leopard Logic Inc. plans to do late this year or early next year when it rolls out its "hybrid" programmable chips, mixing elements of FPGA and ASIC design.
		By implication, users should then be able to evaluate performance and density characteristics of the logic as either FPGA or ASIC gates and then have a way to partition the chip accordingly.
		This differs from the approach taken by FPGA vendors and some ASIC vendors, which offer pre-diffused IP cores and surrounding logic gates that can be configured through a bit stream (for an FPGA) or as a metal mask option.
	www.my-esm.com /printableArticle.jhtml?articleID=12803182 (739 words)

	UvA DARE
		Hybrid logicians claim that modal logic is missing important syntactic machinery, namely tools for referring to worlds, and that adding such machinery solves many technical problems.
		These algorithms produce interpolants for the hybrid logic of every elementary class of frames satisfying the property that a frame is in the class if and only if all its point-generated subframes are in the class.
		In addition, on the class of all frames, the basic algorithm is conservative: on purely modal input it computes interpolants in which the hybrid syntactic machinery does not occur.
	dare.uva.nl /record/114497 (157 words)

	Business Wire: Hybrid MC obtains rights to Discreet Logic came... @ HighBeam Research (Site not responding. Last check: 2007-10-14)
		Hybrid MC, the original creator of the camera tracking technology, has renamed the GLASS technology as `the Hybrid system'.
		Hybrid MC's goal is to maintain total compatibility with VAPOUR and open to other third party software through a general common interface.
		In addition, Hybrid MC uses its wide expertise in CG simulation to master large industrial design projects, for example, in the car industry.
	www.highbeam.com /library/doc0.asp?docid=1G1:19295489&refid=ink_tptd_g1 (400 words)

	Project-Team - L&D (Site not responding. Last check: 2007-10-14)
		In particular, we are interested in applying modal logics to reason about syntactic structures, in the use of description logics for semantic representations (specially for generation) and also, on theoretical issues and formal properties of hybrid logics.
		Areces and Bernardi have investigated extensions of categorial logics (used as a formalism for the specification of lexical categories and of the rules that govern their interactions) with hybrid logical machinery ([55]).
		HyLoRes is the first prototype of a resolution based prover for hybrid logics (and indeed, one of the first examples of a resolution based prover directly applied to modal-like languages).
	www.inria.fr /rapportsactivite/RA2003/led2003/resultat3.html (726 words)

	Constructive Interpolation in Hybrid Logic (ResearchIndex)
		The interpolation property is often regarded as a sign of well-matched syntax and semantics.
		Hybrid logicians claim that modal logic is missing important syntactic machinery, namely tools for referring to worlds, and...
		23 The modal logic of inequality (context) - de Rijke - 1992 DBLP
	citeseer.ist.psu.edu /710215.html (369 words)

	Clock-Powered CMOS: A Hybrid Adiabatic Logic Style for Energy-Efficient Computing (Site not responding. Last check: 2007-10-14)
		Clock-powered logic is a new CMOS logic style which combines adiabatic switching and energy recovery-techniques with conventional CMOS logic styles for the design of low-power computing microsystems.
		In clock-powered logic, high-capacitance nodes are adiabatically switched and powered from ac sources, typically the clock lines.
		Depending on the CMOS logic style used for the dc-powered blocks, pulse-to-level converters may be required to interface the clocked buffer outputs with the logic blocks.
	www.isi.edu /acmos/people/nestoras/abstracts/99-03.ARVLSI.html (211 words)

Try your search on: Qwika (all wikis)