Identification through Inductive Verification

DOI10.1007/978-3-642-00665-4_16MaRDI QIDQ3623838zbMATH OpenOpenAlexFDO

Authors Nina Gierasimczuk

Publication date 24 April 2009

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00665-4_16

zbMATH Keywords

verificationmonotonicityinductionidentification in the limitmonadic quantifierssemantics learning

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50) Linguistics (91F20)

Recommendations

• scientific article; zbMATH DE number 3321243
• On the proof-theoretic strength of monotone induction in explicit mathematics
• scientific article; zbMATH DE number 88997
• Proof theory for quantified monotone modal logics
• On the intuitionistic strength of monotone inductive definitions
• Bounded quantifier instantiation for checking inductive invariants
• Bounded quantifier instantiation for checking inductive invariants
• Determinacy and monotone inductive definitions
• Inductive inference of monotonic formal systems from positive data
• Parameterized verification of monotone information systems

Cites work

• scientific article; zbMATH DE number 1233702 (Why is no real title available?)
• Essays in logical semantics
• Language identification in the limit
• On the expressive power of monotone natural language quantifiers over finite models
• The Problem of Learning the Semantics of Quantifiers

Cited in

(5)

• On the solvability of inductive problems: a study in epistemic topology
• Invariance Properties of Quantifiers and Multiagent Information Exchange
• Bridging learning theory and dynamic epistemic logic
• scientific article; zbMATH DE number 3321243 (Why is no real title available?)
• Learning by Erasing in Dynamic Epistemic Logic

This page was built for publication: Identification through Inductive Verification

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