#### Filter Results:

- Full text PDF available (33)

#### Publication Year

1951

2016

- This year (0)
- Last 5 years (11)
- Last 10 years (22)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Philip Kremer, Grigori Mints
- Ann. Pure Appl. Logic
- 2005

Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dynamics; and temporal logic. In the topological semantics for S4, 2 is interpreted as topological interior: thus S4 can be understood as the logic of topological spaces. Topological… (More)

- Grigori Mints
- Conference on Computer Logic
- 1988

- URGEN OHLBACH, Jon Barwise, +8 authors Johan van Benthem
- 2000

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satisfiability of the DL ALC extended with… (More)

- Grigori Mints
- NATO ASI CP
- 1993

- Grigori Mints, Enn Tyugu
- Sci. Comput. Program.
- 1982

- Grigori Mints, Sergei Tupailo, Wilfried Buchholz
- Arch. Math. Log.
- 1996

- Samuel R. Buss, Grigori Mints
- Ann. Pure Appl. Logic
- 1999

This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A ∨ B , a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove… (More)

- Grigori Mints, Enn Tyugu
- J. Log. Program.
- 1990

D Logic programming is understood as the use of constructive proofs for building correct programs. We illustrate the application of this approach in the framework of propositional calculus and outline the PRIZ programming system, which has intuitionistic propositional calculus as its logical basis. The relation of the deductive program synthesis to… (More)

- Grigori Mints
- Journal of Logic, Language and Information
- 1993

- Grigori Mints, Enn Tyugu
- Baltic Computer Science
- 1988