Lines Matching refs:logics
210 being individual logics (with their analysis and proof tools) as well
224 analysis of the different involved logics, as well as a
272 logics, like logical consequences, relative interpretations of
278 \CASL (Common Algebraic Specification Language \cite{CASL-UM,CASL/RefManual}) to arbitrary logics
281 combinations of specifications written in different logics.
286 currently supported logics and logic translations (the latter are also
303 %% dto., but across different logics
310 translate them to other logics. \emph{Architectural specifications}
320 \Hets supports a variety of different logics. The following are most important for use with Common Logic:
327 \caption{Graph of logics related to Common Logic that are currently supported by \Hets.}
376 Common Logic to other logics, most importantly SoftFOL.
397 Various logics are supported with proof tools. Proof support for the
398 other logics can be obtained by using logic translations to a
419 For further information on logics supported by \Hets, see the \Hets user guide
428 may have several source and target \emph{sub}logics: for
614 presented logics) with the following endings:
644 for explicit translations between logics, see \cite{Mossakowski04}.)
772 for all logics.)
1119 \HetCASL's view mechanism offers an alternative to that. A view from one ontology to another ontology in the same logic has been shown in Sect.~\ref{sec:relat-interpr}, but it is also possible to have views across logics, as long as there is a translation between these logics that is known to \Hets (cf.\ Sect.~\ref{comorphisms}).
1406 variety of logics within \Isabelle; one of them being \HOL (higher-order
1413 is different from the logics that are encoded into it via comorphisms.
1596 (i.e.\ \texttt{-d LogicGraph} lists the logics and comorphisms)