• Publications
  • Influence
Tools and Techniques in Modal Logic
Chapter Headings only. About this Book. Overview. Part 1. The Fundamentals. Algebra, logic and deduction. Fundamentals of modal logic I. Fundamentals of modal logic II. Part 2. The General Theory ofExpand
  • 232
  • 21
  • PDF
Properties of Independently Axiomatizable Bimodal Logics
TLDR
In mono-modal logic there is a fair number of high-powered results on completeness covering large classes of modal systems, witness for example Fine [74,85] and Sahlqvist [75]. Expand
  • 183
  • 13
  • PDF
The mathematics of language
TLDR
This book studies language(s) and linguistic theories from a mathematical point of view. Expand
  • 196
  • 13
  • PDF
On the Semantics of Locatives
TLDR
The present paper deals with the semantics of locative expressions. Expand
  • 182
  • 13
On Extensions of Intermediate Logics by Strong Negation
  • M. Kracht
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 1 February 1998
TLDR
In this paper we will study the properties of the least extension n(Λ) of a given intermediate logic Λ by a strong negation, which is a homomorphism of complete lattices. Expand
  • 65
  • 10
  • PDF
Normal Monomodal Logics Can Simulate All Others
TLDR
This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that monomodal (normal) normal logic can also be simulated. Expand
  • 73
  • 8
  • PDF
Lattices of Modal Logics and Their Groups of Automorphisms
  • M. Kracht
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 15 October 1999
TLDR
We study the groups of automorphisms of lattices NExt Λ of normal extensions of certain modal logics. Expand
  • 18
  • 5
  • PDF
The fine structure of spatial expressions
Recently,new work has appeared or come to my awareness that has made it neces-sary to rethink large parts of the earlier work. I am referring here especiallyto O’Keefe (1996, 2003), Svenonius (2006),Expand
  • 40
  • 4
  • PDF
Power and Weakness of the Modal Display Calculus
The present paper explores applications of Display Logic as defined in [1] to modal logic. Acquaintance with that paper is presupposed, although we will give all necessary definitions. Display LogicExpand
  • 52
  • 3
How Completeness and Correspondence Theory Got Married
TLDR
It has been said that modal logic consists of three main disciplines: duality theory, completeness theory and correspondence theory; and that they are the pillars on which this edifice called modal Logic rests. Expand
  • 48
  • 3