Sign in to use this feature.

Years

Between: -

Subjects

remove_circle_outline
remove_circle_outline

Journals

Article Types

Countries / Regions

Search Results (1)

Search Parameters:
Keywords = intuitionistic Kripke frames

Order results
Result details
Results per page
Select all
Export citation of selected articles as:
22 pages, 374 KB  
Article
On the Definability Problem of First-Order Sentences by Propositional Intuitionistic Formulas
by Grigor Kolev and Tinko Tinchev
Axioms 2025, 14(8), 623; https://doi.org/10.3390/axioms14080623 - 8 Aug 2025
Cited by 1 | Viewed by 533
Abstract
We consider restricted forms of the algorithmic problem of definability of first-order sentences by propositional formulas with intuitionistic Kripke frames semantics. We demonstrate positive resolutions for classes of intuitionistic Kripke frames based on linear orders and conversely show that a few natural first-order [...] Read more.
We consider restricted forms of the algorithmic problem of definability of first-order sentences by propositional formulas with intuitionistic Kripke frames semantics. We demonstrate positive resolutions for classes of intuitionistic Kripke frames based on linear orders and conversely show that a few natural first-order definable classes give rise to undecidable definability problems by applying the model-theoretic in the nature technique of stable classes of Kripke frames. Full article
(This article belongs to the Section Logic)
Back to TopTop