Text

Functional translation and second-order frame properties of modal logics

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
26 S.
Language
Deutsch
Notes
graph. Darst.
Literaturverz. S. 24 - 26

Event
Veröffentlichung
(where)
Saarbrücken
(who)
Max-Planck-Inst. für Informatik
(when)
1995
Creator
Ohlbach, Hans Jürgen (Verfasser)
Schmidt, Renate A. (Verfasser)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
17.02.2026, 1:05 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Text

Associated

Time of origin

  • 1995

Other Objects (12)

Lattices of modal logics

Hochschulschrift

Lattices of modal logics

Terminological logics with modal operators

Text

Terminological logics with modal operators

Fusions of Modal Logics Revisited

Fusions of Modal Logics Revisited

Terminological logics with modal operators

Terminological logics with modal operators

Modal Logics of Topological Relations

Modal Logics of Topological Relations

Modal Information Logics: Axiomatizations and Decidability

Modal Information Logics: Axiomatizations and Decidability

Executable modal and temporal logics : proceedings

Konferenzschrift | Kongress

Executable modal and temporal logics : proceedings

A resolution calculus for modal logics

Hochschulschrift

A resolution calculus for modal logics

Exact Truthmaker Semantics for Modal Logics

Exact Truthmaker Semantics for Modal Logics

Three-valued Logics in Modal Logic

Three-valued Logics in Modal Logic

The decision problem for combined modal logics

Hochschulschrift

The decision problem for combined modal logics

Modal context restriction for multiagent BDI logics

Modal context restriction for multiagent BDI logics

Related objects