On generalized van Benthem-type characterizations

DOI10.1016/J.APAL.2017.03.002MaRDI QIDQ2358625zbMATH OpenOpenAlexFDO

Authors Grigory Olkhovikov

Publication date 15 June 2017

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1511.05931

zbMATH Keywords

model theorybisimulationpropositional logicintensional logicvan Benthem's theoremasimulation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models with special properties (saturated, rigid, etc.) (03C50) Subsystems of classical logic (including intuitionistic logic) (03B20) Interpolation, preservation, definability (03C40)

Abstract: The paper continues the line of model-theoretic characterizations for versions of intuitionistic logic previously achieved by the author, further generalizing them. This results in a model-theoretic characterization of expressive powers of arbitrary finite sets of guarded connectives of degree not exceeding 1 and regular connectives of degree 2 over the language of bounded lattices.

Recommendations

• Semantical characterizations for irreflexive and generalized modal languages
• Modal and guarded characterisation theorems over finite transition systems
• scientific article; zbMATH DE number 5872415
• Modal characterisation theorems over special classes of frames
• Back and forth between guarded and modal logics

Cites work

• scientific article; zbMATH DE number 957948 (Why is no real title available?)
• A general method for proving decidability of intuitionistic modal logics
• Bi-simulating in bi-intuitionistic logic
• Model theory
• Model-theoretic characterization of intuitionistic predicate formulas
• Model-theoretic characterization of intuitionistic propositional formulas
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

Cited in

(3)

• A Lindström theorem for intuitionistic first-order logic
• A Lindström theorem for intuitionistic propositional logic
• A van Benthem theorem for atomic and molecular logics

This page was built for publication: On generalized van Benthem-type characterizations

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