Dissertations (theses) on Modal Logic

and related logics (temporal, epistemic, (super)intuitionistic, dynamic, etc.)

Name Title
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
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.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
Antti Kuusisto [•] Modal Fragments of Second-Order Logic
L.Hella
University of Tampere, Finland
Arne Meier [•] On the Complexity of Modal Logic Variants and their Fragments
H.Vollmer, M.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.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
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.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
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.Hodkinson, M.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-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
Yuko Murakami [•] Modal Logic of Partitions
J.Dunn, L.Moss
Indiana University, 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
Ulle Endriss [•] Modal Logics of Ordered Trees
D.Gabbay
University of London, UK
Martin Lange [•] Games for Modal and Temporal Logics
C.Stirling, M.Jerrum
University of Edinburgh, UK
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
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 Benthem, M. 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öschel, H.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 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
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 Benthem, A.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 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
Hugh McGuire [•] Two Methods for Checking Formulas of Temporal Logic
Z.Manna
Stanford University, USA
Wilfried Meyer Viol [•] Instantial Logic
D. van Eijck, J. 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.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
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.Rautenberg, W.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.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
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.Pnueli, S.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 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
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 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
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 Benthem, A.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.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
Solomon Passy [•] Combinatory Dynamic Logic
D.Vakarelov, D.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.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
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ö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
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.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
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.McKinsey, P.Suppes
Stanford University, USA
1954
1953
1952
1951
1950
H. Chandler (Horace) Davis [•] Lattices and Modal Operators
G.Birkhoff
Harvard University, USA

Corrections and additions are welcome: ezolin [wow] yandex.ru
(guess what should be in place of "wow").
HTML 4.01   CSS 3