scientific article; zbMATH DE number 3271460
From MaRDI portal
Publication:5556395
zbMath0169.29802MaRDI QIDQ5556395
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Axiomatization of a branching time logic with indistinguishability relations ⋮ Finite \(H\)-dimension does not imply expressive completeness ⋮ Transition semantics for branching time ⋮ Specification and verification of database dynamics ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ A STIT logic for reasoning about social influence ⋮ An algebraic synthesis of the foundations of logic and probability ⋮ The Fitch-Church paradox and first order modal logic ⋮ Conditional obligation, deontic paradoxes, and the logic of agency ⋮ Arthur Prior and hybrid logic ⋮ Moment/history duality in Prior's logics of branching-time ⋮ Modal logic for other-world agnostics: Neutrality and Halldén incompleteness ⋮ The modal logic of continuous functions on Cantor space ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ Modal ontology and generalized quantifiers ⋮ Branch dependence in the ``Consistent histories approach to quantum mechanics ⋮ Indeterminism is a modal notion: branching spacetimes and Earman's pruning ⋮ Programming in metric temporal logic ⋮ A completeness proof of Kiczuk's logic of physical change ⋮ Temporal BI: proof system, semantics and translations ⋮ Newtonian determinism to branching space-times indeterminism in two moves ⋮ On individuals in branching histories ⋮ On \(A\)- and \(B\)-theoretic elements of branching spacetimes ⋮ A future for the thin red line ⋮ Arthur Prior and medieval logic ⋮ Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters ⋮ A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later ⋮ The situation calculus: a case for modal logic ⋮ Preface to the special issue: Temporal logics of agency ⋮ Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics ⋮ Completeness of a branching-time logic with possible choices ⋮ The temporal semantics of concurrent programs ⋮ Worlds and times. NS and the master argument ⋮ Interval logics with applications to study of tense and aspect in English ⋮ A study of some tense logics by Gentzen's sequential method ⋮ Synonymous logics ⋮ Complexity of hybrid logics over transitive frames ⋮ Diodorean modality in Minkowski spacetime ⋮ Decidability for branching time ⋮ Repairing the interpolation theorem in quantified modal logic ⋮ Model theory for tense logic: Saturated and special models with applications to the tense hierarchy ⋮ Branching versus linear logics yet again ⋮ Fooling around with tenses ⋮ Modal and temporal logics for abstract space-time structures ⋮ Mathematical modal logic: A view of its evolution ⋮ Domain science and engineering from computer science to the sciences of informatics. II: Science ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ Living up to one's commitments: Agency, strategies and trust ⋮ Completeness in hybrid type theory ⋮ BH-CIFOL: case-intensional first order logic. II: Branching histories ⋮ On possible worlds with modal parts. A semantics for modal interaction ⋮ Alternatives to histories? Employing a local notion of modal consistency in branching theories ⋮ The truth about the future ⋮ On topological issues of indeterminism ⋮ A hierarchy of temporal logics with past ⋮ Metric temporal logic with durations ⋮ Agency and fictional truth: a formal study on fiction-making ⋮ Prior's paradigm for the study of time and its methodological motivation ⋮ Possible worlds in ``The craft of formal logic ⋮ Objectivity without objects: a Priorian program ⋮ Prior, Berkeley, and the Barcan formula ⋮ Solving Prior's problem with a Priorean tool ⋮ Prior on the semantics of modal and tense logic ⋮ Prior and temporal sequences for natural language ⋮ Partial and paraconsistent approaches to future contingents in tense logic ⋮ Reichenbach, Prior and hybrid tense logic ⋮ Where have all the Californian tense-logicians gone? ⋮ Worlds, times and selves revisited ⋮ Branching space-time ⋮ Actions as events ⋮ Temporal reference in linear tense logic ⋮ Logic and the condemnations of 1277 ⋮ Constructing situations and time ⋮ John McCarthy's legacy ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ Dynamic topological logic ⋮ Informational branching universe ⋮ Discrete linear future time without axioms ⋮ Fitch's paradox and ceteris paribus modalities ⋮ Laws, modalities and counterfactuals ⋮ Situations in LTL as strings ⋮ Truth values, neither-true-nor-false, and supervaluations ⋮ A Gabbay-rule free axiomatization of \(T\times W\) validity ⋮ Axioms for deliberative stit ⋮ Possibilities without possible worlds/histories ⋮ A new non-Hausdorff spacetime model for resolution of the time travel paradoxes ⋮ The tense logic for Master Argument in Prior's reconstruction ⋮ The formalities of temporaryism without presentness ⋮ Agency and obligation ⋮ The revival of rejective negation ⋮ The temporal logic of branching time ⋮ A modal perspective on the computational complexity of attribute value grammar ⋮ A finite axiomatization of the set of strongly valid Ockhamist formulas ⋮ An essay in combinatory dynamic logic ⋮ A critical examination of Allen's theory of action and time ⋮ The genesis of possible worlds semantics ⋮ All finitely axiomatizable tense logics of linear time flows are coNP-complete ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
This page was built for publication:
