Nominal tense logic
From MaRDI portal
Publication:689193
DOI10.1305/NDJFL/1093634564zbMath0789.03018OpenAlexW2083987012MaRDI QIDQ689193
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
decidabilityexpressive poweraxiomatizationextension to the semantics of natural languagePriorean tense logictemporal reference
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)
Related Items (17)
Towards World Identification in Description Logics ⋮ Axioms for classical, intuitionistic, and paraconsistent hybrid logic ⋮ Hybrid languages ⋮ Tense logics over lattices ⋮ Simple cut elimination proof for hybrid logic ⋮ 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 ⋮ The monodic fragment of propositional term modal logic ⋮ Temporal reference in linear tense logic ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages ⋮ What is nominalistic mereology? ⋮ Terminating Tableau Calculi for Hybrid Logics Extending K ⋮ Hybrid counterfactual logics. David Lewis meets Arthur Prior again ⋮ A Hybridization of Irreflexive Modal Logics ⋮ An essay in combinatory dynamic logic ⋮ Remarks on Gregory's ``actually operator ⋮ A unified semantics for a family of modal logics with propositional constants
This page was built for publication: Nominal tense logic
