Results 1 
4 of
4
Logic and Relativity (in the light of definability theory)
, 2002
"... Introduction The combined investigation of mathematical logic and relativity theory is not at all new, as follows. Direction (1): Already at the beginnings, i.e. around 1920, Einstein's friend Reichenbach set to himself the goal of building up relativity as a logical theory, i.e. a theory purely in ..."
Abstract

Cited by 14 (8 self)
 Add to MetaCart
Introduction The combined investigation of mathematical logic and relativity theory is not at all new, as follows. Direction (1): Already at the beginnings, i.e. around 1920, Einstein's friend Reichenbach set to himself the goal of building up relativity as a logical theory, i.e. a theory purely in rstorder logic, cf. [30]. Similarly, Carnap [8, 9] pursued and advocated the same goal using a more sophisticated version of mathematical logic. De nability theory, one of the most important branches of modern logic, was brought to existence in the relativity book [30] because of the special needs of relativity theory. (This eld reached maturity via extensive work by Tarski on de nability as indicated in the dissertation.) Direction (2): The foundations of logic presuppose a kind of worldview (Weltanschaung) which has an eect on the \structure" of the theory of logic. In this sense the latest developments of relativity and related areas (e.g. Godel spacetime, Kerr spacetime) provid
Algebraic Polymodal Logic: A Survey
 LOGIC JOURNAL OF THE IGPL
, 2000
"... This is a review of those aspects of the theory of varieties of Boolean algebras with operators (BAO's) that emphasise connections with modal logic and structural properties that are related to natural properties of logical systems. It begins with ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
This is a review of those aspects of the theory of varieties of Boolean algebras with operators (BAO's) that emphasise connections with modal logic and structural properties that are related to natural properties of logical systems. It begins with
Interpolation Properties of Action Logic: Lazyformalization to the Frame Problem
"... This paper makes a contribution to the metatheory of reasoning about action. We present two interpolation properties of action logic. We show that the frame axioms which are required for answering a query involve only the objects which are relevant to the query and action description. Moreover, ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This paper makes a contribution to the metatheory of reasoning about action. We present two interpolation properties of action logic. We show that the frame axioms which are required for answering a query involve only the objects which are relevant to the query and action description. Moreover, if the action description is expressed by normal form, the required frame axioms depend on only the query itself. Therefore the frame problem may be mitigated by localizing descriptions and postponing the listing of frame axioms till a query occurs. This offers a pragmatic solution to the frame problem. This solution does not rest on any metahypotheses most existing solutions to the frame problem rely on.
Logic Journal of the IGPL, Vol. 8, No. 4
, 2000
"... Algebraic Logic. In preparation. Manuscript. ..."