Truth definitions in finite models

DOI10.2178/JSL/1080938836MaRDI QIDQ5311718zbMATH OpenOpenAlexFDO

Authors Leszek Aleksander Kołodziejczyk

Publication date 29 August 2005

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1080938836

zbMATH Keywords

combined complexity of logicscomplexity classesfinite modelprenex classes of higher-order logicstruth definitions

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A modal logic of a truth definition for finite models
• Publication:4722028
• scientific article; zbMATH DE number 1357427
• scientific article; zbMATH DE number 5235521
• Models, semantics and logical truth
• Truth, partial logic and infinitary proof systems
• Relative Truth Definability of Axiomatic Truth Theories
• scientific article; zbMATH DE number 4043224
• Fixed-point posets in theories of truth
• A mathematically derived definitional/semantical theory of truth

Cites work

• Arity and alternation in second-order logic
• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• Normal forms for second-order logic over finite structures, and classification of NP optimization problems
• On representing concepts in finite models
• Succinctness as a source of complexity in logical formalisms

Cited in

(9)

• Rules with parameters in modal logic. II.
• Exact truthmaking as inexact truthmaking by minimal totality facts
• Computing queries with higher-order logics
• Arity and alternation: a proper hierarchy in higher order logics
• Theories of truth for countable languages which conform to classical logic
• scientific article; zbMATH DE number 7307078 (Why is no real title available?)
• A modal logic of a truth definition for finite models
• scientific article; zbMATH DE number 5235521 (Why is no real title available?)
• Theories of initial segments of standard models of arithmetics and their complete extensions

This page was built for publication: Truth definitions in finite models

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