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)

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

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)