Browse wiki
From Semantic Portal Wiki
Jump to:
navigation
,
search
Selene Makarios
This page has no properties.
hide properties that link here
A model theory for a quantified generalized logic of contexts
+
,
Any ist-ao quantified context logic has a first-order semantics
+
,
Any ist-aon quantified context logic has a first-order semantics
+
,
Building-in new inference rules for computational context logic
+
,
Computational context logic and species of $ist$
+
,
Kani time ontology
+
Author
Paulo Pinheiro da Silva
+
Colaborator
Enter the name of the page to start browsing from.
Views
Special page
Personal tools
Log in
Semantic Web Community
Main Page
Events
Publications
People
Resources
Tetherless World constellation
TW Wiki
Data-gov Wiki
Courses
Navigation
Recent changes
Random Page
What links here
Category tree
Semantic browse
maintenance
Sandbox
Admin
Help
Search
Toolbox
Special pages