A modal logic of a truth definition for finite models

DOI10.3233/FI-2019-1770zbMATH Open1435.03042MaRDI QIDQ5377337FDOQ5377337

Authors: Marek Czarnecki, Konrad Zdanowski 

Publication date: 24 May 2019

Published in: Fundamenta Informaticae (Search for Journal in Brave)

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

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)

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)