scientific article; zbMATH DE number 217097

zbMath0781.03003MaRDI QIDQ4693763

No author found.

Publication date: 27 June 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

artificial intelligencefunctional programming languageprogram verificationprogramming language semanticsalgebraic methodsmany-sorted logicsubdirect representationmany-sorted universal algebrashybrid reasoningMany-sorted logicinduction principles for timemany-sorted equational methodsmany-sorted recursion equationsmany-sorted sequent calculusmany-sorted verification logicsorder- sorted predicate logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Knowledge representation (68T30) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items

A logical and ontological framework for compositional concepts of objects and properties ⋮ A completeness theorem for the expressive power of higher-order algebraic specifications ⋮ Many-valued logic and sequence arguments in value theory ⋮ Amalgamation in the semantics of CASL ⋮ Fuzzy types: A framework for handling uncertainty about types of objects ⋮ Temporal Contextual Logic Programming