Indexical Hybrid Tense Logic.

Patrick Blackburn Klaus Frovin Jørgensen

Published in: Advances in Modal Logic (2012)

Keyphrases

logic programming
hybrid approaches
data sets
modal logic
proof theory
real time
databases
knowledge base
multi agent
data model
epistemic logic
sound and complete axiomatization