The product of converse PDL and polymodal K
From Tetherless World Wiki
Jump to:
navigation
,
search
The product of converse PDL and polymodal K
Has publishing details
10(2):223-251, 2000
Has title
The product of converse PDL and polymodal K
Has where published
J. Log. Comput.
Has year
2000
Has author
Frank Wolter
+
Has identifier
DBLP:journals/logcom/Wolter00
+
Categories
Journal Paper
+
Enter the name of the page to start browsing from.
Views
Special
Personal tools
Log in
Tetherless World
Main Page
People
Projects
Publications
Presentations
Courses
Photos
Weblog
Demos
In the News
Contact us
FAQ
links
Portal Wiki
Data-gov Wiki
Inference Web
Internal Pages
tw:Internal
Lab Info
Lab Calendar
Lab Meetings
reference
Public Literature
Public Events
SW Resources
Maintenance
Add Data
User Manual
Recent Changes
Ontology
RDF
Search
Toolbox
Upload file
Special pages