Studia Logica 59 (1):33-64 (1997)
|Abstract||Given a 1-ary sentence operator , we describe L - another 1-ary operator - as as a left inverse of in a given logic if in that logic every formula is provably equivalent to L. Similarly R is a right inverse of if is always provably equivalent to R. We investigate the behaviour of left and right inverses for taken as the operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended by the addition of such inverses, as well as to the question of when, in such extensions, the inverses behave as normal modal operators in their own right.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Slavian Radev (1987). Infinitary Propositional Normal Modal Logic. Studia Logica 46 (4):291 - 309.
S. K. Thomason (1980). Independent Propositional Modal Logics. Studia Logica 39 (2-3):143 - 144.
George Goguadze, Carla Piazza & Yde Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. Journal of Symbolic Logic 68 (2):419-462.
Marcus Kracht & Frank Wolter (1999). Normal Monomodal Logics Can Simulate All Others. Journal of Symbolic Logic 64 (1):99-138.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Mark A. Brown (1992). Normal Bimodal Logics of Ability and Action. Studia Logica 51 (3-4):519 - 532.
Timothy Williamson (1998). Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses. Notre Dame Journal of Formal Logic 39 (1):128-134.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Added to index2009-01-28
Total downloads7 ( #142,281 of 722,813 )
Recent downloads (6 months)1 ( #60,541 of 722,813 )
How can I increase my downloads?