Pages that link to "Item:Q4323828"
From MaRDI portal
The following pages link to All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable (Q4323828):
Displaying 4 items.
- All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability (Q3298275) (← links)
- Products of ‘transitive” modal logics (Q5718700) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
