Nominal tense logic

DOI10.1305/NDJFL/1093634564zbMATH Open0789.03018OpenAlexW2083987012MaRDI QIDQ689193FDOQ689193

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

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

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)

Cited In (26)

• Naming worlds in modal and temporal logic
• A unified semantics for a family of modal logics with propositional constants
• Temporal reference in linear tense logic
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• Remarks on Gregory's ``actually operator
• 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
• Tense and temporal reference hybrid temporal logic
• A hybridization of irreflexive modal logics
• What is nominalistic mereology?
• An essay in combinatory dynamic logic
• Title not available (Why is that?)
• Hybrid languages
• Axioms for classical, intuitionistic, and paraconsistent hybrid logic
• 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
• Tense logics over lattices
• 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
• Hybrid modal operators for definite descriptions
• Reichenbach, Prior and Montague: a semantic get-together

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)