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
This page lacks scripts. Soon I will fix this.
| Total: 168 theses | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | ||||
| 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 |
| 1990 | 1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 |
| 1980 | 1981 | 1982 | 1983 | 1984 | 1985 | 1986 | 1987 | 1988 | 1989 |
| 1970 | 1971 | 1972 | 1973 | 1974 | 1975 | 1976 | 1977 | 1978 | 1979 |
| 1960 | 1961 | 1962 | 1963 | 1964 | 1965 | 1966 | 1967 | 1968 | 1969 |
| 1950 | 1951 | 1952 | 1953 | 1954 | 1955 | 1956 | 1957 | 1958 | 1959 |
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 Cerro, A.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
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.Mares, R.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.Artemov, M.Fitting
City University of New York, USA
2011
Arne Meier[•]On the Complexity of Modal Logic Variants and their Fragments
H.Vollmer, M.Mundhenk
Universität Hannover, Germany
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.Duparc, I.Walukiewicz
Université de Lausanne, Switzeland, and Université Bordeaux, France
Kohei Kishida[•]Generalized Topological Semantics for First-Order Modal Logic
S.Awodey, N.Belnap
University of Pittsburgh, USA
Thumrongsak Kosiyatrakul[•]A Modal Logic for Role-Based Access Control within the HOL Theorem Prover
S.-K.Chin, S.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
2009
Helle Hvid Hansen[•]Coalgebraic Modelling. Applications in Automata Theory and Modal Logic
J.M.Rutten, Y.Venema, C.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.Shore, A.Nerode
Cornell University, USA
Bryan Renne[•]Dynamic Epistemic Logic with Justification
S.N.Artemov
City University of New York, USA
2007
Willem Conradie[•]Algorithmic Correspondence and Completeness in Modal Logic
V.Goranko
University of the Witwatersrand, South Africa
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-Heister, T.Zimmermann
Eberhard-Karls-Universität Tübingen, Germany
2006
Nick Bezhanishvili[•]Lattices of Intermediate and Cylindric Modal Logics
D. de Jongh, Y.Venema
Universiteit van Amsterdam, The Netherlands
Mehrnoosh Sadrzadeh[•]Actions and Resources in Epistemic Logic
M.Marion, A.Baltag
Université du Québec à Montréal, Canada
Darko Sarenac[•]Products of Topological Modal Logics
J. van Benthem, S.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.Groenendijk, J. 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
Daniel Sheridan[•]Temporal Logic Encodings for SAT-Based Bounded Model Checking
P.Jackson, T.Walsh
University of Edinburgh, UK
2004
Etienne Lozes[•]Expressiveness of Spatial Logics
D.Hirschkoff, L.Caires
École Normale Supérieure de Lyon, France
Tero Eljas Tulenheimo[•]Independence-Friendly Modal Logic. Studies in Its Expressive Power and Theoretical Relevance
G.Sandu, T.Hyttinen
Helsingin Yliopisto, Finland
2003
Paolo Torrini[•]Qualitative Spatial Reasoning with Super-Intuitionistic Logics
J.Stell, B.Bennett
University of Leeds, UK
2002
Murat Atmaca[•]Applications of Temporal Logic to Assembly and Disassembly Sequences
M.Insall, V.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
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 Benthem, M. de Rijke
Universiteit van Amsterdam, The Netherlands
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öschel, H.Reichel
Technische Universität Dresden, Germany
1999
Murali Narasimha[•]Probabilistic Verification through Temporal Logics
S. Purushothaman Iyer
North Carolina State University, USA
1998
Giovanna D’Agostino[•]Modal Logic and Non-Well-Founded Set Theory: Translation, Bisimultation, Interpolation
J. van Benthem, A.Policriti
Universiteit van Amsterdam, The Netherlands
Jennifer Davoren[•]Modal Logics for Continuous Dynamics
A.Nerode, S.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.Grahne, E.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
Angelo Montanari[•]Metric and Layered Temporal Logic for Time Granularity
J. van Benthem, A.Policriti
Universiteit van Amsterdam, The Netherlands
1995
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 Benthem, D. 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.Moortgat, J.. van Benthem
Universiteit Utrecht / Universiteit van Amsterdam, The Netherlands
Wilfried Meyer Viol[•]Instantial Logic
D. van Eijck, J. van Benthem
Universiteit Utrecht, The Netherlands
1994
Valentijn Anton Johan Borghuis[•]Coming to Terms with Modal Logic: On the Interpretation of Modalities in Typed λ-Calculus
J.C.M.Baeten, H.C.Bunt, R.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.Burstall, M.Fourman
University of Edinburgh, UK
Frank Wolter[•]The Structure of Lattices of Modal Logics
W.Rautenberg, W.Blok
Universität Berlin, Germany
1992
Wiebe van der Hoek[•]Modalities for Reasoning about Knowledge and Quantities
J.Meyer, J. 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.Chihara, Neale
University of California, Berkeley, USA
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.Pnueli, S.Katz
Technion-Israel Institute of Technology, Israel
1990
Patrick Blackburn[•]Nominal Tense Logic and Other Sorted Intensional Frameworks
J. van Benthem, I.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öger, W.Reisig
Ludwig-Maximilians-Universität München, Germany
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
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 Roever, H.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
1987
Kees Doets[•]Completeness and Definability: Applications of the Ehrenfeucht Game in Second-Order and Intensional Logic
J. van Benthem, A.Troelstra
Universiteit van Amsterdam, The Netherlands
1986
Pieter Hendrik Rodenburg[•]Intuitionistic Correspondence Theory
A.Troelstra, J. van Benthem
Universiteit van Amsterdam, The Netherlands
Tinko Tinchev[•]Extensions of the Propositional Dynamic Logic
D.Vakarelov, D.Skordev
University of Sofia, Bulgaria
1985
Piotr Berman[•]The Expressive Power of Deterministic Context-Free Dynamic Logic
A.Meyer
Massachusetts Institute of Technology, USA
1984
Michael Tiomkin[•]Extensions of Propositional Dynamic Logics
J.Makowsky
Technion-Israel Institute of Technology, Israel
1983
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
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
Job Adrianus van Eck[•]A System of Temporally Relative Modal and Deontic Predicate Logic and its Philosophical Applications
H.Hubbeling, J. 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
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öb, S.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.Howard, R.Soare
University of Illinois at Chicago, USA
1972
Daniel Gallin[•]Intensional and Higher-Order Modal Logic
L.Henkin, D.Scott
University of California, Berkeley, USA
1971
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.Pachale, K.-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
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
1965
1964
1963
1962
1961
1960
1959
1958
1957
1956
1955
Jean Estelle Rubin[•]Bi-Modal Logic, Double Closure Algebras and Hilbert Space
J.McKinsey, P.Suppes
Stanford University, USA
1954
1953
1952
1951
1950