Nominal tense logic

DOI10.1305/NDJFL/1093634564MaRDI QIDQ689193zbMATH OpenOpenAlexFDO

Authors Patrick Blackburn

Publication date 6 December 1993

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093634564

zbMATH Keywords

decidabilityaxiomatizationexpressive powerextension to the semantics of natural languagePriorean tense logictemporal reference

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Recommendations

• Temporal reference in linear tense logic
• Reichenbach, Prior and Montague: a semantic get-together
• Tense and temporal reference hybrid temporal logic
• scientific article; zbMATH DE number 1749195
• Display Calculi for Nominal Tense Logics

Cited in

(26)

• A unified semantics for a family of modal logics with propositional constants
• Naming worlds in modal and temporal logic
• Temporal reference in linear tense logic
• Remarks on Gregory's ``actually operator
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• The monodic fragment of propositional term modal logic
• Indexical hybrid tense logic
• Towards World Identification in Description Logics
• Tenses in Real Time
• Terminating Tableau Calculi for Hybrid Logics Extending K
• A hybridization of irreflexive modal logics
• What is nominalistic mereology?
• An essay in combinatory dynamic logic
• Tense and temporal reference hybrid temporal logic
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• Hybrid languages
• scientific article; zbMATH DE number 1989646 (Why is no real title available?)
• Simple cut elimination proof for hybrid logic
• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• Display Calculi for Nominal Tense Logics
• Tenses and truth-conditions: a plea for if-then-else
• Prior's paradigm for the study of time and its methodological motivation
• On the modal logic of subset and superset: tense logic over Medvedev frames
• Tense logics over lattices
• Reichenbach, Prior and Montague: a semantic get-together
• Hybrid modal operators for definite descriptions

This page was built for publication: Nominal tense logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689193)