Кафедра математической логики и теории алгоритмов

Механико-математического факультета МГУ


Dissertations (theses) on Modal Logic

and related non-classical logics
(temporal, epistemic, (super)intuitionistic, dynamic, etc.)
See also: dissertations on modal logic in Russian
See also: video on Modal Logic at YouTube

NameTitle

Supervisor(s)
University, country

2015
Facundo Carreiro[•]Fragments of Fixpoint Logics: Automata and Expressiveness

Y.Venema
University of Amsterdam
Sumit Sourabh[•]Correspondence and Canonicity in Non-Classical Logics

Y.Venema
University of Amsterdam
Sławomir Kost[•]Semantyki pewnych logik wielomodalnych

W.Dzik
Uniwersytet Śląski w Katowicach, Katowice, Polska (Poland)
Ezgi Iraz Su[•]Extensions of Equilibrium Logic by Modal Concepts

L. F. del CerroA.Herzig D.A.Pearce
Informatique et Télécommunications de Toulouse, France

2014
Raul Alberto Fervari[•]Relation-Changing Modal Logics

Carlos Areces
Universidad Nacional de Córdoba, Córdoba, Argentina

2013
Martín Figallo[•]Hypersequents and the Tetravalent Modal Logic TML

M.E.Coniglio
Universidad Nacional del Sur, Argentina
Petar Vanev Iliev[•]On the Relative Succinctness of Some Modal Logics

?
University of Liverpool
William Joseph Young[•]An Investigation of Residuated Lattices with Modal Operators

C.Tsinakis
Vanderbilt University, USA

2012
Can Baskent[•]Some Non-Classical Methods in Epistemic Logic and Games

R.Parikh
City University of New York, USA
David Robert Gilbert[•]A Two-Dimensional Approach to Modal Logics Containing an Actuality Operator

E.MaresR.Goldblatt
Victoria University of Wellington, New Zealand
Wesley Halcrow Holliday[•]Knowing What Follows: Epistemic Closure and Epistemic Logic

J. van Benthem
Stanford University, USA
Hidenori Kurokawa[•]Tableaux and Hypersequents for Modal and Justification Logics

S.N.ArtemovM.Fitting
City University of New York, USA

2011
Antti Kuusisto[•]Modal Fragments of Second-Order Logic

L.Hella
University of Tampere, Finland
Sérgio Marcelino[•]Modal Logic for Changing Systems

D.GabbayA.Kurucz
King’s College London
Arne Meier[•]On the Complexity of Modal Logic Variants and their Fragments

H.VollmerM.Mundhenk
Universität Hannover, Germany
Ren-June Wang[•]Timed Modal Epistemic Logic

S.N.Artemov
City University of New York, USA

2010
Walter Dean[•]Epistemic Paradox and Explicit Modal Logic

S.N.Artemov
City University of New York, USA
Cédric Dégremont[•]The Temporal Mind. Observations on the Logic of Belief Change in Interactive Systems

J. van Benthem
Universiteit van Amsterdam, The Netherlands
Alessandro Facchini[•]A Study on the Expressive Power of Some Fragments of the Modal μ-calculus

J.DuparcI.Walukiewicz
Université de Lausanne, Switzeland, and Université Bordeaux, France
Kohei Kishida[•]Generalized Topological Semantics for First-Order Modal Logic

S.AwodeyN.Belnap
University of Pittsburgh, USA
Thumrongsak Kosiyatrakul[•]A Modal Logic for Role-Based Access Control within the HOL Theorem Prover

S.-K.ChinS.Older
Syracuse University, USA
Alexandre Rademaker[•]A Proof Theory for Description Logics

E.H.Haeusler
Pintifícia Universidade Católica do Rio de Janeiro
Robert Rothenberg[•]On the Relationship between Hypersequent Calculi and Labelled Sequent Calculi for Intermediate Logics with Geometric Kripke Semantics

R.Dyckhoff
University of St. Andrews, UK
Pietro Sala Tuzze[•]Decidability of Interval Temporal Logics

A.Montanari
Università di Udine, Italy

2009
Helle Hvid Hansen[•]Coalgebraic Modelling. Applications in Automata Theory and Modal Logic

J.M.RuttenY.VenemaC.Kupke
Vrije Universiteit Amsterdam, The Netherlands
Sara Liana Uckelman[•]Modalities in Medieval Logic

B.Löwe
Universiteit van Amsterdam, The Netherlands

2008
Georgios E. Fainekos[•]Robustness of Temporal Logic Specifications

G.Pappas
University of Pennsylvania, USA
Patrick Girard[•]Modal Logic for Belief and Preference Change

J. van Benthem
Stanford University, USA
Michael Kelly O’Connor[•]Using Tree Automata to Investigate Intuitionistic Propositional Logic

R.ShoreA.Nerode
Cornell University, USA
Bryan Renne[•]Dynamic Epistemic Logic with Justification

S.N.Artemov
City University of New York, USA

2007
Davide Bresolin[•]Proof Methods for Interval Temporal Logics

A.Montanari
Università di Udine, Italy
Willem Conradie[•]Algorithmic Correspondence and Completeness in Modal Logic

V.Goranko
University of the Witwatersrand, South Africa
Altaf Hussain[•]Applications of Extended Modal Logics

I.HodkinsonM.Huth
Thomas Schneider[•]The Complexity of Hybrid Logics over Restricted Frame Classes

M.Mundhenk
Friedrich-Schiller-Universität Jena, Germany
Bartosz Wieckowski[•]Modality without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and Its Philosophical Significance

P.Schroeder-HeisterT.Zimmermann
Eberhard-Karls-Universität Tübingen, Germany

2006
Nick Bezhanishvili[•]Lattices of Intermediate and Cylindric Modal Logics

D. de JonghY.Venema
Universiteit van Amsterdam, The Netherlands
Mehrnoosh Sadrzadeh[•]Actions and Resources in Epistemic Logic

M.MarionA.Baltag
Université du Québec à Montréal, Canada
Darko Sarenac[•]Products of Topological Modal Logics

J. van BenthemS.Feferman
Stanford University, USA
Dmitry Shkatov[•]Modal Logics with Existential Modality, Finite-Iteration Modality, and Intuitionistic Base: Decidability and Completeness

N.Alechina
University of Nottingham, UK

2005
Balder ten Cate[•]Model Theory for Extended Modal Languages

J.GroenendijkJ. van Benthem
Universiteit van Amsterdam, The Netherlands
Philip Muhm[•]Kuratowski’s 14 Set Theorem – A Modal Point of View

K.Kaiser
University of Houston, USA
Yuko Murakami[•]Modal Logic of Partitions

J.DunnL.Moss
Indiana University, USA
Daniel Sheridan[•]Temporal Logic Encodings for SAT-Based Bounded Model Checking

P.JacksonT.Walsh
University of Edinburgh, UK

2004
Etienne Lozes[•]Expressiveness of Spatial Logics

D.HirschkoffL.Caires
École Normale Supérieure de Lyon, France
Tero Eljas Tulenheimo[•]Independence-Friendly Modal Logic. Studies in Its Expressive Power and Theoretical Relevance

G.SanduT.Hyttinen
Helsingin Yliopisto, Finland

2003
Ulle Endriss[•]Modal Logics of Ordered Trees

D.Gabbay
University of London, UK
Martin Lange[•]Games for Modal and Temporal Logics

C.StirlingM.Jerrum
University of Edinburgh, UK
Paolo Torrini[•]Qualitative Spatial Reasoning with Super-Intuitionistic Logics

J.StellB.Bennett
University of Leeds, UK

2002
Murat Atmaca[•]Applications of Temporal Logic to Assembly and Disassembly Sequences

M.InsallV.Allada
Missouri University of Science and Technology, USA
Shengbing Jiang[•]Control and Diagnosis of Discrete Event Systems with Temporal Logic Specifications

R.Kumar
University of Kentucky, USA
Hideo Nagahashi[•]A Sahlqvist Theorem for Distributive Modal Logics

M.Gehrke
New Mexico State University, USA

2001
Romas Alondeiris[•]Proof-Theoretical Investigation of Intuitionistic Temporal Logic with Time Gaps

R.Pliuskevicius
Institute of Mathematics and Informatics, Vilnius, Lithuania
Suman Ganguli[•]Recursive Models of Modal Logics

A.Nerode
Cornell University, USA
Rosalie Iemhoff[•]Provability Logic and Admissible Rules

A.Troelstra
Universiteit van Amsterdam, The Netherlands
Salvatore La Torre[•]Verification of Reactive Systems and Decision Problems in Temporal Logic

R.Alur
University of Pennsylvania, USA
Dirk Pattinson[•]Expressivity Results in the Modal Logic of Coalgebras

?
Ludwig-Maximilians-Universität München, Germany

2000
Carlos Areces[•]Logic Engineering: the Case of Description and Hybrid Logics

J. van BenthemM. de Rijke
Universiteit van Amsterdam, The Netherlands
Dimitar Guelev[•]Probabilistic and Temporal Modal Logics

D.Vakarelov
University of Sofia, Bulgaria
Linh Anh Nguyen[•]Results on Modal Reasoning with Applications to Modal Deductive Databases

A.Szalas
Uniwersytet Warszawski, Poland
Martin Rößiger[•]Coalgebras, Clone Theory, and Modal Logic

R.PöschelH.Reichel
Technische Universität Dresden, Germany

1999
Chuchang Liu[•]Clocked Temporal Logic Programming

M.Orgun
Macquarie University, Australia
Alessio Lomuscio[•]Knowledge Sharing among Ideal Agents

Mark Ryan
University of Birmingham, UK
Murali Narasimha[•]Probabilistic Verification through Temporal Logics

S. Purushothaman Iyer
North Carolina State University, USA
Maria Weiss[•]Completeness of Certain Bimodal Logics for Subset Spaces

1998
Giovanna D’Agostino[•]Modal Logic and Non-Well-Founded Set Theory: Translation, Bisimultation, Interpolation

J. van BenthemA.Policriti
Universiteit van Amsterdam, The Netherlands
Jennifer Davoren[•]Modal Logics for Continuous Dynamics

A.NerodeS.N.Artemov
Cornell University, USA
Mircea Dumitru[•]On Incompleteness in Modal Logic. An Account Through Second-Order Logic

G.Forbes
Tulane University, USA
Carsten Grefe[•]Fischer Servi’s Intuitionistic Modal Logic and Its Extensions

W.Rautenberg
Freie Universität Berlin, Germany
Subash Shankar[•]Formal Verification of VHDL Designs Using Temporal Logics

J.Slagle
University of Minnesota-Minneapolis, USA

1997
Martin Fränzle[•]Controller Design from Temporal Logic: Undecidability Need Not Matter

H.Langmaack
Christian-Albrechts-Universität zu Kiel, Germany
Roope Kaivola[•]Using Automata to Characterise Fixed Point Temporal Logics

C.Stirling
University of Edinburgh, UK
Matti Nykänen[•]Querying String Databases in Modal Logic

G.GrahneE.Ukkonen
Helsingin Yliopisto, Finland
Gareth Rohde[•]Alternating Automata and the Temporal Logic of Ordinals

P.Schupp
University of Illinois at Urbana-Champaign, USA
Renate Schmidt[•]Optimised Modal Translation and Resolution

H.Ohlbach
Universität des Saarlandes, Germany

1996
Urban Engberg[•]Reasoning in the Temporal Logic of Actions

G.Winskel
Aarhus University, Denmark
Angelo Montanari[•]Metric and Layered Temporal Logic for Time Granularity

J. van BenthemA.Policriti
Universiteit van Amsterdam, The Netherlands
Alessandra Russo[•]Modal Logics as Labelled Deductive Systems

D.Gabbay
Imperial College, UK

1995
Natasha Alechina[•]Modal Quantifiers

J. van Benthem
Universiteit van Amsterdam, The Netherlands
Paul Attie[•]Formal Methods for the Synthesis of Concurrent Programs from Temporal Logic Specifications

E. Allen Emerson
University of Texas at Austin, USA
Giovanna Cepparello[•]Studies in Dynamic Logic

J. van BenthemD. van Eijck
Universiteit van Amsterdam, The Netherlands
Saverio Cittadini[•]Minimal Axiomatizations in Modal and Tense Logic (in Italian)

F.Bellissima
Università degli Studi di Siena, Italy
Robert Forsythe[•]Dynamical Systems and Temporal-Modal Logic

J.Robbin
University of Wisconsin-Madison, USA
Orna Kupferman-Bernholtz[•]Model Checking for Branching-Time Temporal Logics

O.Grumberg
Technion-Israel Institute of Technology, Israel
Natasha Kurtonina[•]Frames and Labels: A Modal Analysis of Categorial Inference

M.MoortgatJ.. van Benthem
Universiteit Utrecht / Universiteit van Amsterdam, The Netherlands
Hugh McGuire[•]Two Methods for Checking Formulas of Temporal Logic

Z.Manna
Stanford University, USA
Wilfried Meyer Viol[•]Instantial Logic

D. van EijckJ. van Benthem
Universiteit Utrecht, The Netherlands
Kwang Mong Sim[•]A Multi-Valued Epistemic Logic

M.Shaw
University of Calgary, Canada

1994
Valentijn Anton Johan Borghuis[•]Coming to Terms with Modal Logic: On the Interpretation of Modalities in Typed λ-Calculus

J.C.M.BaetenH.C.BuntR.Lazarom
Technische Universiteit Eindhoven, The Netherlands
Marcelo Finger[•]Changing the Past: Database Applications of Two-Dimensional Temporal Logics

D.Gabbay
University of London, UK
John Arthur Rafter, Jr.[•]A Partial Characterization of Canonical Conjugate Varieties of Modal Algebras

B.Jónsson
Vanderbilt University, USA
Alex K. Simpson[•]The Proof Theory and Semantics of Intuitionistic Modal Logic

G.Plotkin
University of Edinburgh, UK

1993
C.C.Chen[•]The Complexity of Decision Problems for Modal Propositional Logics

?
National Taiwan University, Taipei, Taiwan
Ian Philip Gent[•]Analytic Proof Systems for Classical and Modal Logics of Restricted Quantification

A.Cohn
University of Warwick, UK
Konstantinos Georgatos[•]Modal Logics for Topological Spaces

R.Parikh
City University of New York, USA
Michael Mendler[•]A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification

R.BurstallM.Fourman
University of Edinburgh, UK
Maarten de Rijke[•]Extending Modal Logic

J. van Benthem
Edith Spaan[•]Complexity of Modal Logics

J. van Benthem
Universiteit van Amsterdam, The Netherlands
Frank Wolter[•]The Structure of Lattices of Modal Logics

W.RautenbergW.Blok
Universität Berlin, Germany

1992
Adam Joseph Grove[•]Topics in Multi-Agent Epistemic Logic

J.Halpern
Stanford University, USA
Wiebe van der Hoek[•]Modalities for Reasoning about Knowledge and Quantities

J.MeyerJ. van Benthem
Vrije Universiteit Amsterdam, The Netherlands
Stefan Merz[•]Temporal Logic as a Programming Language

F.Kröger
Ludwig-Maximilians-Universität München, Germany
Gregory Brian Ray[•]Modal Identities and De Re Necessity

C.ChiharaNeale
University of California, Berkeley, USA
Miquel Rius-Font[•]Tetravalent Modal Logics

J.M.Font
Universidad de Barcelona, Spain
Yde Venema[•]Many-Dimensional Modal Logic

J. van Benthem
Universiteit van Amsterdam, The Netherlands

1991
Orna Lichtenstein[•]Decidability, Completeness, And Extensions of Linear Time Temporal Logic

A.Pnueli
Weizmann Institute of Science, Israel
Doron A. Peled[•]Verification Methods in Temporal Logic

A.PnueliS.Katz
Technion-Israel Institute of Technology, Israel
Mai Tong[•]A Strong Modal Set Theory

N.Goodman
State University of New York at Buffalo, USA

1990
Patrick Blackburn[•]Nominal Tense Logic and Other Sorted Intensional Frameworks

J. van BenthemI.Bethke
University of Edinburgh, UK
Jörg Hudelmaier[•]Bounds for Cut Elimination in Intuitionistic Propositional Logic

W.Felscher
Eberhard-Karls-Universität Tübingen, Germany
Marcus Kracht[•]Internal Definability and Completeness in Modal Logic

W.Rautenberg
Universität Berlin, Germany
Barbara Paech[•]Concurrency as a Modality

F.KrögerW.Reisig
Ludwig-Maximilians-Universität München, Germany
Duminda Wijesekera[•]Constructive Modal Logics

A.Nerode
Cornell University, USA
Gerson Zaverucha[•]A Nonmonotonic Multi-agent Logic of Belief: A Modal Defeasible Relevant Approach

D.Gabbay
Imperial College, UK

1989
Michael Browne[•]Automatic Verification of Finite State Machines Using Temporal Logic

E.Clarke, Jr.
Carnegie Mellon University, USA
Roger Hale[•]Programming in Temporal Logic

?
University of Cambridge, UK
Andreas Herzig[•]Automated Theorem Proving in Modal Logic and Unification Algorithms

L. del Cerro
Université Paul Sabatier – Toulouse III, France
Ruurd Kuiper[•]Combining Linear Time Temporal Logic Descriptions of Concurrent Computations

W.-P. de RoeverH.Barringer
Technische Universiteit Eindhoven, The Netherlands

1988
Valentin Goranko[•]Definability and Completeness in Polymodal Logics

D.Vakarelov
University of Sofia, Bulgaria
Miriam Ellen Leeser[•]Reasoning about the Function and Timing of Integrated Circuits with Prolog and Temporal Logic

?
University of Cambridge, UK
Hans Jürgen Ohlbach[•]A Resolution Calculus for Modal Logics

?
Universität Kaiserslautern, Germany

1987
Kees Doets[•]Completeness and Definability: Applications of the Ehrenfeucht Game in Second-Order and Intensional Logic

J. van BenthemA.Troelstra
Universiteit van Amsterdam, The Netherlands
Lenore Zuck[•]Past Temporal Logic

A.Pnueli
Weizmann Institute of Science, Israel

1986
Pieter Hendrik Rodenburg[•]Intuitionistic Correspondence Theory

A.TroelstraJ. van Benthem
Universiteit van Amsterdam, The Netherlands
Tinko Tinchev[•]Extensions of the Propositional Dynamic Logic

D.VakarelovD.Skordev
University of Sofia, Bulgaria

1985
Piotr Berman[•]The Expressive Power of Deterministic Context-Free Dynamic Logic

A.Meyer
Massachusetts Institute of Technology, USA
Solomon Passy[•]Combinatory Dynamic Logic

D.VakarelovD.Skordev
University of Sofia, Bulgaria

1984
Michael Tiomkin[•]Extensions of Propositional Dynamic Logics

J.Makowsky
Technion-Israel Institute of Technology, Israel

1983
Amihood Amir[•]Functional Completeness in Tense Logics

D.Gabbay
Bar-Ilan University, Israel

1982
Paul Karl Harter, Jr.[•]On the Application of Temporal Logic to the Verification of Real-Time Programs

A.Bernstein
State University of New York at Stony Brook, USA
Colin Stirling[•]The Foundations of Logical Analysis of Tense

?
University of York, UK
Vitezslav Svejdar[•]Interpretability and Modal Logic

P.Hájek
Czechoslovak Academy of Science, Czechslovakia
Pierre Wolper[•]Synthesis of Communicating Processes from Temporal Logic Specifications

Z.Manna
Stanford University, USA

1981
Luis Fariñas del Cerro[•]Automated Deduction in Modal Logic

M.P.Nivat
Université Paris VII, France
Job Adrianus van Eck[•]A System of Temporally Relative Modal and Deontic Predicate Logic and its Philosophical Applications

H.HubbelingJ. van Benthem
Rijksuniversiteit Groningen, The Netherlands
E. Allen Emerson[•]Branching Time Temporal Logic and the Design of Correct Concurrent Programs

E.Clarke, Jr.
Harvard University, USA
Josep Maria Font[•]Algebraic Study of Some Intuitionistic Modal Logics

F.Vallès
Universidad de Barcelona, Spain
Kenneth Ernest Pledger[•]Some Interrelations between Geometry and Modal Logic

L.Szczerba
Uniwersytet Warszawski, Poland

1980
Brent Tzion Hailpern[•]Verifying Concurrent Processes Using Temporal Logic

S.Owicki
Stanford University, USA
Robert Stuart Streett[•]Propositinal Dynamic Logic and the Divergence of Programs

V.Pratt
Massachusetts Institute of Technology, USA

1979
Francine Denise Berman[•]Syntactic and Semantic Structure in Propositional Dynamic Logic

M.Bendersky
University of Washington, USA
Ralph Moon[•]Fragments of Modal and Intuitionistic Propositional Calculi

D.Ulrich
Purdue University, USA
Eleonora Perkowska[•]A Modal Logic for Parallel Programs

A.Skowron
Uniwersytet Warszawski, Poland

1978

1977
Anil Gupta[•]The Logic of Common Nouns: An Investigation in Quantified Modal Logic

?
University of Pittsburgh, USA

1976
Johan van Benthem[•]Modal Correspondence Theory

M.LöbS.Thomason
Universiteit van Amsterdam, The Netherlands

1975
Daniel Leivant[•]Absoluteness of Intuitionistic Logic

A.Troelstra
Universiteit van Amsterdam, The Netherlands

1974
Martin Gerson[•]A Comparative Study of Modal Propositional Semantics

R.Harrop
Simon Fraser University, Canada
Robert Goldblatt[•]Metamathematics of Modal Logic

M.Cresswell
Victoria University of Wellington, New Zealand
James Edison McLelland[•]Epistemic Logic and the Surprise Examination Paradox

C.Chihara
University of California, Berkeley, USA

1973
James Beaumont Freeman[•]Algebraic Semantics for Modal and Relevant Predicate Logics

J.Dunn
Indiana University, USA
Craig Smorynski[•]Investigations of Intuitionistic Formal Systems by Means of Kripke Models

W.HowardR.Soare
University of Illinois at Chicago, USA

1972
Daniel Gallin[•]Intensional and Higher-Order Modal Logic

L.HenkinD.Scott
University of California, Berkeley, USA

1971
Kenneth William Collier[•]An Essay in Epistemic Logic

N.Rescher
University of Pittsburgh, USA
Krister Segerberg[•]An Essay in Classical Modal Logic

D.Scott
Stanford University, USA

1970
Benedict Freedman[•]Interpretations of Intuitionistic Logic

Y.Moschovakis
University of California, Los Angeles, USA
Rainer Krauskopf[•]Ein Entscheidungsverfahren für den Lewis’schen Modalkalkül S4

H.PachaleK.-P.Grotemeyer
Freie Universität Berlin, Germany
Dean P. McCullough[•]Modal Connectives and Intuitionistic Modal Logic with Respect to the Kripke Model

W.Boone
University of Illinois at Urbana-Champaign, USA

1969

1968
Melvin Fitting[•]Intuitionistic Logic, Model Theory, and Forcing

R.Smullyan
Yeshiva University, USA
Dick de Jongh[•]Investigations on the Intuitionistic Propositional Calculus

S.Kleene
University of Wisconsin-Madison, USA
Hans Kamp[•]Tense Logic and the Theory of Linear Order

R.Montague
University of California, Los Angeles, USA

1967

1966
Nino Cocchiarella[•]Tense Logic: A Study of Temporal Reference

R.Montague
University of California, Los Angeles, USA
Robert Kenneth Meyer[•]Topics in Modal and Many-Valued Logic

N.Belnap
University of Pittsburgh, USA

1965
David Makinson[•]Rules of Truth for Modal Logic

M.Dummett
University of Oxford, UK

1964

1963
R. A. Bull[•]Investigations in Modal and Propositional Logics

R.Gandy
University of Manchester, UK
Frank Robert Drake[•]Syntactical Models for Modal Logic

T.Smiley
University of Cambridge, UK

1962
Saul Kripke[•]A Completeness Theorem in Modal Logic

W.V.O.Quine
Harvard University, USA

1961
Dagfinn Føllesdal[•]Referential Opacity and Modal Logic

W.V.O.Quine
Harvard University, USA

1960

1959

1958

1957

1956

1955
Jean Estelle Rubin[•]Bi-Modal Logic, Double Closure Algebras and Hilbert Space

J.McKinseyP.Suppes
Stanford University, USA

1954

1953

1952

1951

1950
H. Chandler (Horace) Davis[•]Lattices and Modal Operators

G.Birkhoff
Harvard University, USA