Decidable Fragments of Many-Sorted Logic

DOI10.1007/978-3-540-75560-9_4MaRDI QIDQ3498453zbMATH OpenOpenAlexFDO

Authors Aharon Abadi, Alexander Rabinovich, Mooly Sagiv

Publication date 15 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75560-9_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Decidable fragments of many-sorted logic
• scientific article; zbMATH DE number 217097
• Decidable fragments of first-order modal logics
• A decidable and expressive fragment of many-sorted first-order linear temporal logic
• scientific article; zbMATH DE number 4002070

Cites work

• scientific article; zbMATH DE number 1809861 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• A first order logic for specification of timed algorithms: Basic properties and a decidable class
• Automated Deduction – CADE-20
• Bounded model checking using satisfiability solving
• Decidable Fragments of Many-Sorted Logic
• Decidable verification for reducible timed automata specified in a first order logic with time
• On languages with two variables
• SPASS \& FLOTTER version 0.42
• The unsolvability of the Gödel class with identity

Cited in

(11)

• Combinations of Theories for Decidable Fragments of First-Order Logic
• scientific article; zbMATH DE number 1507188 (Why is no real title available?)
• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
• Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
• Decidable Fragments of Many-Sorted Logic
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Decidable fragments of many-sorted logic
• scientific article; zbMATH DE number 7340151 (Why is no real title available?)
• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
• Decidable fragments of field theories
• Decidability properties for fragments of CHR

Describes a project that uses

Uses Software

• VAMPIRE

This page was built for publication: Decidable Fragments of Many-Sorted Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498453)