Works by L. A. Chagrova - PhilPapers

Entries: 551,105 New this week: 2,123

General search Category finder


advanced search \| help

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Works by L. A. Chagrova ( view other items matching `L. A. Chagrova`, view all matches )

A. V. Chagrov & L. A. Chagrova (1995). Algorithmic Problems Concerning First-Order Definability of Modal Formulas on the Class of All Finite Frames. Studia Logica 55 (3):421 - 448.
The main result is that is no effective algorithmic answer to the question:how to recognize whether arbitrary modal formula has a first-order equivalent on the class of finite frames. Besides, two known problems are solved: it is proved algorithmic undecidability of finite frame consequence between modal formulas; the difference between global and local variants of first-order definability of modal formulas on the class of transitive frames is shown.
Logic and Philosophy of Logic

Direct download (4 more)

My bibliography

Export citation
Dick de Jongh & L. A. Chagrova (1995). The Decidability of Dependency in Intuitionistic Propositional Logi. Journal of Symbolic Logic 60 (2):498-504.
Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
L. A. Chagrova (1991). An Undecidable Problem in Correspondence Theory. Journal of Symbolic Logic 56 (4):1261-1272.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation

Off-campus access

Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page

Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email

RSS feed

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Home | New books and articles | Bibliographies | Philosophy journals | Discussions | The Categorization Project | About PhilPapers | API | Contact us

Hosted by The Institute of Philosophy, School of Advanced Study, University of London

This site uses Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by David Bourget and David Chalmers

Page generated Sun May 26 09:44:26 2013 - Hash code: S3/LSUpaS0G/aQp7x481gQ