Dmitry Shkatov  Home/Search
Context
Related
| cs.nott.ac.uk/Rese...shkatovthesis.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.nott.ac.uk/Research/fo...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis investigates some modal logics that have been found to be useful in modelling computational phenomena and, therefore, of interest to theoretical computer science---namely, modal intuitionistic logics, logics with finite-iteration modality, and logics with existential modality. We prove a number of new general results concerning these logics. In particular, in chapter 3, we prove a general decidability result for intuitionistic modal logics through embedding them into the... (Update)
Active bibliography (related documents): More All
0.9: Categorical and Kripke Semantics for Constructive S4.. - Alechina, Mendler, de .. (2001) (Correct)
0.8: Intuitionistic Modal Logic - Wolter, Zakharyaschev (1999) (Correct)
0.7: Complexity of Hybrid Logics over Transitive Frames - Mundhenk, Schneider.. (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ shkatov-modal,
author = "Dmitry Shkatov",
title = "Modal Logics with Existential Modality, Finite-iteration Modality, and
Intuitionistic Base: Decidability and Completeness",
url = "citeseer.ist.psu.edu/shkatov05modal.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
369 Information and Computation (context) - Moggi, computation - 1991
241 Decidability of second-order theories and automata on infini.. (context) - Rabin - 1969
143 A modal analysis of staged computation - Davies, Pfenning - 1996
143 A modal analysis of staged computation - Davies, Pfenning - 2001
126 Semantical considerations on Floyd-Hoare logic - Pratt - 1976
97 Oxford University Press (context) - Chagrov, Zakharyaschev - 1997
84 Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
78 Modal logics for communicating systems (context) - Stirling - 1987
70 The Classical Decision Problem (context) - Borger, Gradel et al. - 1997
65 Modal logic and classical logic (context) - Benthem - 1983
54 Many-Dimensional Modal Logics: Theory and Applications (context) - Gabbay, Kurucz et al. - 2003
51 Computational types from a logical perspective - Benton, Bierman et al. - 1998
44 The Proof Theory and Semantics of Intuitionistic Modal Logic (context) - Simpson - 1994
42 Data on the Web (context) - Abiteboul, Buneman et al. - 2000
40 Modal Languages and Bounded Fragments of Predicate Logic (context) - Andreka, van Benthem et al. - 1996
40 the restraining power of guards - Gradel - 1999
36 Time and Modality (context) - Prior - 1957
34 The twovariable guarded fragment with transitive relations - Ganzinger, Meyer et al. - 1999
31 Information and Computation (context) - Fairtlough, Mendler et al. - 1997
31 Metamathematics of modal logic (context) - Goldblatt - 1976
21 A framework for intuitionistic modal logic (context) - Plotkin, Stirling - 1986
21 Evaluation logic - Pitts - 1990
17 Back and forth between modal logic and classical logic (context) - Andreka, van Benthem et al. - 1995
17 Natural Deduction: A Proof-Theoretic Study (context) - Prawitz - 1965
14 On modal logics with intuitionistic base (context) - Servi - 1986
13 Intuitionistic modal logics as fragments of classical bimoda.. - Wolter, Zakharyaschev - 1999
12 Advanced modal logic (context) - Zakharyaschev, Wolter et al. - 2001
12 Constrained proofs: a logic for dealing with behavioural con.. (context) - Mendler - 1991
12 Modal logic over finite structures - Rosen - 1997
12 Publications of the Research Institute for Mathematical Scie.. (context) - Ono, intuitionistic - 1977
12 Theoretical Computer Science (context) - Kobayashi, modality - 1997
11 Back and Forth Between Guarded and Modal Logics - Gradel, Hirsch et al. - 2002
11 Back and Forth Between Guarded and Modal Logics - Gradel, Hirsch et al. - 2000
11 the relation between intuitionistic and classical modal logi.. - Wolter, Zakharyaschev - 1997
11 Annals of Pure and Applied Logic (context) - Wijesekera, logic - 1990
10 Completeness and decidability of tense logics closely relate.. (context) - Wolter - 1997
9 and Yde Venema (context) - Blackburn, de Rijke - 2001
9 Modal logics and bounded fragments of predicate logic (context) - Andreka, van Benthem et al. - 1998
8 Relations between intuitionistic modal logics and intermedia.. (context) - Ono, Suzuki - 1988
8 Language and Information (context) - Marx, Journal - 2001
7 Intuitionistic modal logics - Wolter, Zakharyaschev - 1999
7 Interpolation in guarded fragments - Hoogland, Marx - 2002
6 Some embedding theorems for modal logic (context) - Makinson - 1971
6 Categorical and Kripke semantics for constructive modal logi.. - Alechina, Mendler et al. - 2001
6 A modal perspective on path constraints - Alechina, de Rijke et al. - 2003
6 Intuitionistic modal logic with quantifiers (context) - Fitch - 1948
6 Tense logic without tense operators (context) - Wolter - 1996
5 The finite model property in tense logic (context) - Wolter - 1995
5 Guarded Fixed Point Logic - Gradel, Walukiewicz - 1999
5 Path constraints from a modal logic point of view - Alechina, de Rijke et al. - 2001
4 an intuitionistic modal logic - Bierman, de Paiva - 2000
4 Models for stronger normal intuitionistic modal logics (context) - Dosen - 1985
4 Logical foundation evalquote mechanism (context) - Larrecq, of et al. - 1996
4 the decision problem for the guarded fragment with transitiv.. (context) - Szwast, Tendera - 2001
3 Decidability issues for action guarded logics - Goncalves, Gradel - 2000
2 Guarded quantification in least fixed point logic - McColm
2 The two-variable guarded fragment with transitive guards is .. (context) - Kieronski - 2003
1 Automata for guarded fixed point logics (context) - Berwanger, Blumensath - 2002
1 A modal extension of intuitionistic modal logic (context) - Bull - 1965
1 Some modal calculi based on IC (context) - Bull - 1965
1 A general method for proving decidability of intuitionistic .. (context) - Alechina, Shkatov - 2005
1 Mathemaical Logic Quaterly (context) - Wolter, tense - 1996
1 MIPC as the formalisation of an intuitionistic concept of mo.. (context) - Bull - 1966
1 An algorithmic problem of the axiomatization of tabular norm.. (context) - Chagrov - 2002
1 Trudy Matematicheskogo Instituta imeni V (context) - Mints, of - 1968
1 A note on the interpolation property in tense logic (context) - Wolter - 1997
1 Lewis and Cooper H (context) - Clarence - 1932
Documents on the same site (http://www.cs.nott.ac.uk/Research/fop/index.html):
Compiling and Reasoning about Exceptions and Interrupts - Wright (2005) (Correct)
Polytypic Functional Programming and Data Abstraction - Iglesias (2006) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC