Naming worlds in modal and temporal logic

From MaRDI portal

Publication:5960007

Jump to:navigation, search

DOI10.1023/A:1013063928696zbMath0993.03012MaRDI QIDQ5960007

Guillaume Malod, Dov M. Gabbay

Publication date: 11 April 2002

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

completeness temporal logic expressive power predicate logic hybrid modal logic locality predicate nominals time predicate

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Related Items (3)

The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics ⋮ Temporal reference in linear tense logic ⋮ Truth-values as labels: a general recipe for labelled deduction

This page was built for publication: Naming worlds in modal and temporal logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5960007&oldid=12130840"