scientific article; zbMATH DE number 3363520
From MaRDI portal
Publication:5636857
zbMath0229.02027MaRDI QIDQ5636857
Alasdair Urquhart, Nicholas Rescher
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
Resolution theorem proving in reified modal logics ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ Unnamed Item ⋮ A logic to reason about likelihood ⋮ Specification and verification of database dynamics ⋮ An algebraic synthesis of the foundations of logic and probability ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Hybrid languages ⋮ Note on a six-valued extension of three-valued logic ⋮ A theoretical foundation of the DSSSL location model ⋮ Ontologies for plane, polygonal mereotopology ⋮ A complete proof system for propositional projection temporal logic ⋮ Completeness results for two-sorted metric temporal logics ⋮ A first step towards implementing dynamic algebraic dependences ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Two-sorted metric temporal logics ⋮ Tableau Systems for Epistemic Positional Logics ⋮ Tense logic based on finite orthomodular posets ⋮ Completeness of a functional system for surjective functions ⋮ Temporal logic of surjective bounded morphisms between finite linear processes ⋮ Interval logics with applications to study of tense and aspect in English ⋮ A study of some tense logics by Gentzen's sequential method ⋮ SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR ⋮ Local causation ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ On some ascending chains of Brouwerian modal logics ⋮ Model theory for tense logic: Saturated and special models with applications to the tense hierarchy ⋮ Branching versus linear logics yet again ⋮ Proof theory for functional modal logic ⋮ A note on the issue of cohesiveness in canonical models ⋮ Tomorrow’s Sea-Battle and the Beginning of Temporal Logic ⋮ Unnamed Item ⋮ Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems ⋮ Foundations of linear-time logic programming ⋮ TABLEAUX: A general theorem prover for modal logics ⋮ Efficient loop-check for backward proof search in some non-classical propositional logics ⋮ Resolution-based calculi for modal and temporal logics ⋮ Where have all the Californian tense-logicians gone? ⋮ Planning temporal events using point-interval logic ⋮ The Arrow of Time through the Lens of Computing ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ Semantics for finitary predicate calculi ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ Maximality of the Minimal R-Logic ⋮ From Philosophical to Industrial Logics ⋮ Verification of concurrent programs: The automata-theoretic framework ⋮ The logic of temporal discourse ⋮ Statistical probabilistic model checking with a focus on time-bounded properties ⋮ From Monadic Logic to PSL ⋮ Prior's Grappling with Peirce's Existential Graphs ⋮ Time and logic: A calculus of binary events ⋮ Back to the actual future ⋮ Tensed modalities ⋮ The mereotopology of time ⋮ Sleeping Beauty and shifted Jeffrey conditionalization ⋮ The theory of functional and subset dependencies over relational expressions ⋮ Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation ⋮ The temporal logic of branching time ⋮ To be and not to be: Dialectical tense logic ⋮ A theory of data dependencies over relational expressions ⋮ Logic of Social Ontology and Łoś’s Operator ⋮ On the modal interpretation of the connective of realisation ⋮ Cut-free sequent calculi for some tense logics ⋮ A Logical Autobiography ⋮ Modal Logics of Some Hereditarily Irresolvable Spaces ⋮ Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals ⋮ A unified semantics for a family of modal logics with propositional constants
This page was built for publication:
