bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Adl" Stability="Testing" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>A description language</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="CASL" Stability="Stable" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>CASL - the Common algebraic specification language
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaThis logic is subsorted partial first-order logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa with sort generation constraints
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaSee the CASL User Manual, LNCS 2900, Springer Verlag
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksaand the CASL Reference Manual, LNCS 2960, Springer Verlag
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaAbbreviations of sublogic names indicate the following feature:
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Sub -> with subsorting
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Sul -> with a locally filtered subsort relation
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa P -> with partial functions
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa C -> with sort generation constraints
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa eC -> C without renamings
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa sC -> C with injective constructors
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa seC -> sC and eC
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa FOL -> first order logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa FOAlg -> FOL without predicates
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Horn -> positive conditional logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa GHorn -> generalized Horn
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa GCond -> GHorn without predicates
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Cond -> Horn without predicates
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Atom -> atomic logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Eq -> Atom without predicates
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa = -> with equality
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa SubPCFOL= -> the CASL logic itself
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa FOAlg= -> first order algebra (without predicates)
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa SubPHorn= -> the positive conditional fragement of CASL
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa SubPAtom -> the atomic subset of CASL
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa SubPCAtom -> SubPAtom with sort generation constraints
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Eq= -> classical equational logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="CASL_DL" Stability="Unstable" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>CASL_DL is at the same time an extension and a restriction of CASL.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaIt additionally provides cardinality restrictions in a description logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksasense; and it limits the expressivity of CASL to the description logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaSHOIN(D). Hence it provides the following sublogics:
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa * Card -- CASL plus cardinality restrictions on binary relations
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa * DL -- SHOIN(D)
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="CSMOF" Stability="Experimental" has_basic_parser="False" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>CSMOF conformance relation</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="CoCASL" Stability="Unstable" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>CoCASL is the coalgebraic extension of CASL.</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="CommonLogic" Stability="Testing" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>CommonLogic Logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="ConstraintCASL" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>ConstraintCASL - a restriction of CASL to constraint formulas over predicates</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="CspCASL" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="True">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>CspCASL - see
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksahttp://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="CspCASL_Failure" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="True">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>CspCASL - see
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksahttp://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="CspCASL_Trace" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="True">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>CspCASL - see
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksahttp://www.cs.swan.ac.uk/~csmarkus/ProcessesAndData/</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="DFOL" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>First-Order Logic with Dependent Types
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksadeveloped by F. Rabe</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="DMU" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="EnCL" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>EnCL Logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="ExtModal" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>ExtModal is the 'extended modal logic' extension of CASL.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaSyntax for ordinary modalities, multi-modal logic, dynamic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksalogic, graded modal logic, hybrid logic, CTL* and mu-calculus
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksais provided. Specific modal logics can be obtained via
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksarestrictions to sublanguages.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Fpl" Stability="Unstable" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>logic of functional programs (FPL) as CASL extension
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Framework" Stability="Experimental" has_basic_parser="False" has_basic_analysis="False" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>A framework allowing to add logics dynamically.</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="FreeCAD" Stability="Experimental" has_basic_parser="False" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>FreeCAD object representation language</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="HasCASL" Stability="Testing" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>HasCASL - Algebraic Specification + Functional Programming =
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Environment for Formal Software Development
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaThis logic is based on the partial lambda calculus and
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa features subtyping, overloading and type class polymorphism
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaSee the HasCASL summary and further papers available at
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa http://www.informatik.uni-bremen.de/cofi/HasCASL
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaAbbreviations of sublogic names indicate the following feature:
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Sub -> with subtyping
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa P -> with partial functions
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa TyCl -> with simple type classes (a la Isabelle)
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa CoCl -> with constructor classes (a la Haskell)
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa Poly -> polymorphism without classes
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa TyCons -> user definable type constructors
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa HOL -> higher order logic (covers sort generation constraints)
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa FOL -> first order logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksaand others like for CASL
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa SubCFOL= -> the CASL logic without sort generation constraints
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa PCoClTyConsHOL -> the Haskell type system fragment
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="HolLight" Stability="Experimental" has_basic_parser="False" has_basic_analysis="False" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>Hol Light
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksafor more information please refer to
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksahttp://www.cl.cam.ac.uk/~jrh13/hol-light/</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Hybrid" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>Hybrid CASL
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaExtends an abitrary logic with at/modal operators.</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Hybridize" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>Hybridization of an arbitrary logic</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Isabelle" Stability="Testing" has_basic_parser="False" has_basic_analysis="False" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>Isabelle - a generic theorem prover
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaThis logic corresponds to the logic of Isabelle,
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksaa weak intuitionistic type theory
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaAlso, the logics encoded in Isabelle, like FOL, HOL, HOLCF, ZF are made available
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaSee http://www.cl.cam.ac.uk/Research/HVG/Isabelle/</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="LF" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>Edinburgh Logical Framework</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Maude" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>Maude - A High-Performance Rewriting Logic Framework
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaThis logic is rewriting logic, a logic of concurrent change that
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksacan naturally deal with state and with concurrent computations.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaFor an overview of Maude see <http://maude.cs.uiuc.edu/overview.html>.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaFor information about rewriting logic see <http://maude.cs.uiuc.edu/rwl.html>.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaFor information about the Maude project see <http://maude.cs.uiuc.edu/>.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Modal" Stability="Unstable" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>ModalCASL extends CASL by modal operators. Syntax for ordinary
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksamodalities, multi-modal logics as well as term-modal
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksalogic (also covering dynamic logic) is provided.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaSpecific modal logics can be obtained via restrictions to
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksasublanguages.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="OMDoc-PUN" Stability="Experimental" has_basic_parser="False" has_basic_analysis="False" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>OMDoc-PUN (possible utter nonsense). Logic to deal with OMDoc.</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="OWL" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>OWL -- Web Ontology Language http://www.w3.org/TR/owl2-overview/</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <ConservativityChecker name="Locality_BOTTOM_BOTTOM" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <ConservativityChecker name="Locality_TOP_BOTTOM" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <ConservativityChecker name="Locality_TOP_TOP" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Propositional" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>Propositional Logic
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksafor more information please refer to
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksahttp://en.wikipedia.org/wiki/Propositional_logic</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="QBF" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>Propositional Logic extended with QBFs
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksafor more information please refer to
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksahttp://en.wikipedia.org/wiki/Propositional_logichttp://www.voronkov.com/lics.cgi</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="QVTR" Stability="Experimental" has_basic_parser="False" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>QVT-Relations transformation</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="RDF" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>RDF -- Resource Description Framework http://www.w3.org/RDF/</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="RelScheme" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>Simple logic for Relational Schemes</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="SoftFOL" Stability="Testing" has_basic_parser="False" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>SoftFOL - Softly typed First Order Logic for Automated Theorem Proving Systems
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaThis logic corresponds to the logic of SPASS,
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksabut the generation of TPTP is also possible.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksaand http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="THF" Stability="Testing" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>THF is a language for Higher Order Logic from the TPTP standard.
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen KuksaFor further information please refer tohttp://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="Temporal" Stability="Experimental" has_basic_parser="False" has_basic_analysis="False" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="UML" Stability="Experimental" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="False" has_symbol_map_parser="False" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <logic name="VSE" Stability="Unstable" has_basic_parser="True" has_basic_analysis="True" has_symbol_list_parser="True" has_symbol_map_parser="True" is_a_process_logic="False">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <Description>VSE extends CASL by modal operators and programs.</Description>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SubCFOLSubsortBottoms" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SubCFOLNoMembershipOrCast" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <sourceSublogic name="CommonLogic.FirstOrderSeq">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <sourceSublogic name="CommonLogic.ImpredicativeSeq">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CommonLogicModuleElimination" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <sourceSublogic name="CommonLogic.Impredicative">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <sourceSublogic name="ExtModal.ManyDynHybrSubPCSOL=E">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <sourceSublogic name="ExtModal.ManyDynHybrTimeFramesSubPCSOL=E">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <sourceSublogic name="ExtModal.ManyDynHybrTimeFixFrames*SubPCSOL=E">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="ExtModal2ExtModalNoSubsorts" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <sourceSublogic name="HasCASL.PPolyTyConsProdsHOL=">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="HasCASL2IsabelleDeprecated" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <sourceSublogic name="HasCASL.PCoClTyConsProdsHOL=">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <sourceSublogic name="HasCASL.SubPCoClTyConsProdsHOL=">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </sourceSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SubCFOLSubsortBottoms" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SubCFOLNoMembershipOrCast" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <targetSublogic name="CommonLogic.ImpredicativeSeq">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CommonLogicModuleElimination" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <targetSublogic name="ExtModal.ManyDynHybrTimeFixFrames*PCSOL=E">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="ExtModal2ExtModalNoSubsorts" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <targetSublogic name="ExtModal.ManyDynHybrTimeFixFrames*SubCSOL=E">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <targetSublogic name="HasCASL.PCoClTyConsProdsHOL=">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <targetSublogic name="HasCASL.SubPCoClTyConsProdsHOL=">
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="HasCASL2IsabelleDeprecated" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa </targetSublogic>
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="Adl2CASL" source="Adl" target="CASL" sourceSublogic="" targetSublogic="SulFOL=" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2CoCASL" source="CASL" target="CoCASL" sourceSublogic="SubPCSOL=E" targetSublogic="SubPCSOL=E" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2CspCASL" source="CASL" target="CspCASL" sourceSublogic="SubPCSOL=E" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2ExtModal" source="CASL" target="ExtModal" sourceSublogic="SubPCSOL=E" targetSublogic="OneSubPCSOL=E" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2HasCASL" source="CASL" target="HasCASL" sourceSublogic="SubPCSOL=E" targetSublogic="SubPHOL=" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2Hybrid" source="CASL" target="Hybrid" sourceSublogic="SubPCSOL=E" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2Isabelle" source="CASL" target="Isabelle" sourceSublogic="CFOL=" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2Modal" source="CASL" target="Modal" sourceSublogic="SubPCSOL=E" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2OWL" source="CASL" target="OWL" sourceSublogic="SulPCFOL=" targetSublogic="NP-sROIQ-D|-|" is_inclusion="False" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2PCFOL" source="CASL" target="CASL" sourceSublogic="SubPCFOL=" targetSublogic="PCFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2PCFOLTopSort" source="CASL" target="CASL" sourceSublogic="SulPeCFOL=" targetSublogic="PFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2Propositional" source="CASL" target="Propositional" sourceSublogic="FOL" targetSublogic="Prop" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SoftFOL" source="CASL" target="SoftFOL" sourceSublogic="SuleCFOL=E" targetSublogic="" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SoftFOLInduction" source="CASL" target="SoftFOL" sourceSublogic="SuleCFOL=" targetSublogic="" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SoftFOLInduction2" source="CASL" target="SoftFOL" sourceSublogic="SuleCFOL=" targetSublogic="" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SubCFOL" source="CASL" target="CASL" sourceSublogic="SubPCFOL=" targetSublogic="SubCFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SubCFOLNoMembershipOrCast" source="CASL" target="CASL" sourceSublogic="SubPFOL=" targetSublogic="SubFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2SubCFOLSubsortBottoms" source="CASL" target="CASL" sourceSublogic="SubPFOL=" targetSublogic="SubFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2VSE" source="CASL" target="VSE" sourceSublogic="CFOL=" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2VSEImport" source="CASL" target="VSE" sourceSublogic="CFOL=" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL2VSERefine" source="CASL" target="VSE" sourceSublogic="CFOL=" targetSublogic="" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CASL_DL2CASL" source="CASL_DL" target="CASL" sourceSublogic="SROIQ" targetSublogic="SulPeCFOL=" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CLFol2CFOL" source="CommonLogic" target="CASL" sourceSublogic="FirstOrder" targetSublogic="eCFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CLFull2CFOL" source="CommonLogic" target="CASL" sourceSublogic="ImpredicativeSeq" targetSublogic="eCFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CLImp2CFOL" source="CommonLogic" target="CASL" sourceSublogic="Impredicative" targetSublogic="eCFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CLSeq2CFOL" source="CommonLogic" target="CASL" sourceSublogic="FirstOrderSeq" targetSublogic="eCFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CSMOF2CASL" source="CSMOF" target="CASL" sourceSublogic="" targetSublogic="SulseCFOL=" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CoCASL2CoPCFOL" source="CoCASL" target="CoCASL" sourceSublogic="CoSubPCFOL=" targetSublogic="CoPCFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CoCASL2CoSubCFOL" source="CoCASL" target="CoCASL" sourceSublogic="CoSubPCFOL=" targetSublogic="CoSubCFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CoCASL2Isabelle" source="CoCASL" target="Isabelle" sourceSublogic="CoCFOL=" targetSublogic="" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CommonLogic2Isabelle" source="CommonLogic" target="Isabelle" sourceSublogic="ImpredicativeSeq" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CommonLogicModuleElimination" source="CommonLogic" target="CommonLogic" sourceSublogic="ImpredicativeSeq" targetSublogic="ImpredicativeSeq" is_inclusion="False" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CspCASL2CspCASL_Failure" source="CspCASL" target="CspCASL_Failure" sourceSublogic="" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CspCASL2CspCASL_Trace" source="CspCASL" target="CspCASL_Trace" sourceSublogic="" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="CspCASL2Modal" source="CspCASL" target="Modal" sourceSublogic="" targetSublogic="" is_inclusion="False" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="DFOL2CASL" source="DFOL" target="CASL" sourceSublogic="" targetSublogic="FOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="DMU2OWL2" source="DMU" target="OWL" sourceSublogic="" targetSublogic="NP-sROIQ-D|-|" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="ExtModal2CASL" source="ExtModal" target="CASL" sourceSublogic="ManyDynHybrSubPCSOL=E" targetSublogic="SubPCSOL=E" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="ExtModal2ExtModalNoSubsorts" source="ExtModal" target="ExtModal" sourceSublogic="ManyDynHybrTimeFixFrames*SubPCSOL=E" targetSublogic="ManyDynHybrTimeFixFrames*PCSOL=E" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="ExtModal2ExtModalTotal" source="ExtModal" target="ExtModal" sourceSublogic="ManyDynHybrTimeFixFrames*SubPCSOL=E" targetSublogic="ManyDynHybrTimeFixFrames*SubCSOL=E" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="ExtModal2HasCASL" source="ExtModal" target="HasCASL" sourceSublogic="ManyDynHybrTimeFramesSubPCSOL=E" targetSublogic="SubPHOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="ExtModal2OWL" source="ExtModal" target="OWL" sourceSublogic="ManyDynHybrTimeFixFrames*SubPCSOL=E" targetSublogic="NP-sROIQ-D|-|" is_inclusion="False" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="HasCASL2HasCASLNoSubtypes" source="HasCASL" target="HasCASL" sourceSublogic="SubPCoClTyConsProdsHOL=" targetSublogic="PCoClTyConsProdsHOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="HasCASL2HasCASLPrograms" source="HasCASL" target="HasCASL" sourceSublogic="SubPCoClTyConsProdsHOL=" targetSublogic="SubPCoClTyConsProdsHOL=" is_inclusion="False" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="HasCASL2IsabelleDeprecated" source="HasCASL" target="Isabelle" sourceSublogic="PPolyTyConsProdsHOL=" targetSublogic="" is_inclusion="True" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="HasCASL2IsabelleOption" source="HasCASL" target="Isabelle" sourceSublogic="PCoClTyConsProdsHOL=" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="HasCASL2THFP_P" source="HasCASL" target="THF" sourceSublogic="ProdsHOL=" targetSublogic="THFP_P" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="HolLight2Isabelle" source="HolLight" target="Isabelle" sourceSublogic="Top" targetSublogic="" is_inclusion="False" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="Hybrid2CASL" source="Hybrid" target="CASL" sourceSublogic="" targetSublogic="PeCFOL=" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="Maude2CASL" source="Maude" target="CASL" sourceSublogic="" targetSublogic="PeCFOL=" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="Modal2CASL" source="Modal" target="CASL" sourceSublogic="" targetSublogic="SulPFOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="MonadicTranslation" source="HasCASL" target="Isabelle" sourceSublogic="PCoClTyConsProdsHOL=" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="NormalisingTranslation" source="HasCASL" target="Isabelle" sourceSublogic="PCoClTyConsProdsHOL=" targetSublogic="" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="OWL22CASL" source="OWL" target="CASL" sourceSublogic="NP-sROIQ-D|-|" targetSublogic="eCFOL=" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="OWL22CommonLogic" source="OWL" target="CommonLogic" sourceSublogic="NP-sROIQ-D|-|" targetSublogic="ImpredicativeSeq" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="Propositional2CASL" source="Propositional" target="CASL" sourceSublogic="Prop" targetSublogic="FOL" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="Propositional2CommonLogic" source="Propositional" target="CommonLogic" sourceSublogic="Prop" targetSublogic="FirstOrder" is_inclusion="False" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="Propositional2OWL2" source="Propositional" target="OWL" sourceSublogic="Prop" targetSublogic="NP-sROIQ-D|-|" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="Propositional2QBF" source="Propositional" target="QBF" sourceSublogic="Prop" targetSublogic="Prop" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="QBF2Propositional" source="QBF" target="Propositional" sourceSublogic="Prop" targetSublogic="Prop" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="QVTR2CASL" source="QVTR" target="CASL" sourceSublogic="" targetSublogic="SulseCFOL=" is_inclusion="True" has_model_expansion="True" is_weakly_amalgamable="True" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="RelScheme2CASL" source="RelScheme" target="CASL" sourceSublogic="" targetSublogic="SubPCFOL=" is_inclusion="True" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="SoftFOL2CommonLogic" source="SoftFOL" target="CommonLogic" sourceSublogic="" targetSublogic="FirstOrder" is_inclusion="False" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="THFP2THF0" source="THF" target="THF" sourceSublogic="THFP" targetSublogic="THF0" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="THFP_P2HasCASL" source="THF" target="HasCASL" sourceSublogic="THFP_P" targetSublogic="ProdsHOL=" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="THFP_P2THFP" source="THF" target="THF" sourceSublogic="THFP_P" targetSublogic="THFP" is_inclusion="False" has_model_expansion="True" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa <comorphism name="UML2CommonLogic" source="UML" target="CommonLogic" sourceSublogic="" targetSublogic="ImpredicativeSeq" is_inclusion="False" has_model_expansion="False" is_weakly_amalgamable="False" />
bd5b3ce7cee084159d9beb6b64a5b2892683bff5Eugen Kuksa</LogicGraph>