Definability and Computability for PRSPDL

In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 16-33 (2014)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2018-02-24

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

References found in this work

PDL with Intersection of Programs: A Complete Axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.

Add more references

Citations of this work

Separation Logics and Modalities: A Survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.

Add more citations

Similar books and articles

Intrinsically Hyperarithmetical Sets.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):469-480.
Definability in the Class of All -Frames – Computability and Complexity.D. T. Georgiev - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):1-26.
Computability and Λ-Definability.A. M. Turing - 1938 - Journal of Symbolic Logic 3 (2):89-89.
Computability and Λ-Definability.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):153-163.
Definability and Computability.Yuri L. Ershov - 1998 - Studia Logica 61 (3):439-441.
Computability and $Lambda$-Definability.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):153-163.
Turing A. M.. Computability and Λ-Definability.Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (2):89-89.
Abstract Computability and Invariant Definability.Yiannis N. Moschovakis - 1969 - Journal of Symbolic Logic 34 (4):605-633.
Representation Theorems for Transfinite Computability and Definability.Dag Normann - 2002 - Archive for Mathematical Logic 41 (8):721-741.
Review: Yuri L. Ershov, Definability and Computability. [REVIEW]Ivan Soskov - 1998 - Journal of Symbolic Logic 63 (2):747-748.
On Definability in Multimodal Logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Effective Structures.Alexandra A. Soskova - 1997 - Mathematical Logic Quarterly 43 (2):235-250.