A modal logic of a truth definition for finite models

DOI10.3233/FI-2019-1770MaRDI QIDQ5377337zbMATH OpenFDO

Authors Marek Czarnecki, Konrad Zdanowski

Publication date 24 May 2019

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

modal logicfinite modelstruth definition

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Models of arithmetic and set theory (03C62)

Recommendations

• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
• The concept of truth in a finite universe
• Truth definitions in finite models
• Modal logic over finite structures
• Finite Kripke models and predicate logics of provability

Cited in

(7)

• Finite model property for negative modalities
• Truth definitions in finite models
• The concept of truth in a finite universe
• Designing paradoxes: a revision-theoretic approach
• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
• MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH
• Finite model property of modal logics of finite depth

This page was built for publication: A modal logic of a truth definition for finite models

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