scientific article; zbMATH DE number 1028832

zbMath0875.03047MaRDI QIDQ4342095

Publication date: 8 July 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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

Related Items (68)

Time and determinism ⋮ 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 ⋮ Doing and refraining from refraining ⋮ Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Busy choice sequences refraining formulas and modalities ⋮ How to prove Hume's law ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Conditional obligation, deontic paradoxes, and the logic of agency ⋮ Orthogonal frames and indexed relations ⋮ Temporal necessity and the conditional ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ T \(\times\) W completeness ⋮ The deliberative stit: A study of action, omission, ability, and obligation ⋮ Unnamed Item ⋮ Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ A decidable temporal logic of parallelism ⋮ Temporal logic and its application to normative reasoning ⋮ Branching in the landscape of possibilities ⋮ A future for the thin red line ⋮ Completeness of a branching-time logic with possible choices ⋮ Completeness of a functional system for surjective functions ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ Assertions and future tense semantics ⋮ DOING WITHOUT ACTION TYPES ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ Actuality Entailments: When the Modality is in the Presupposition ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Axiomatising the Prior future in predicate logic ⋮ An NP-complete fragment of fibring logic ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Allen-like theory of time for tree-like structures ⋮ An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ The thin red line, Molinism, and the flow of time ⋮ Propensities and probabilities ⋮ Quantified temporal alethic-deontic logic ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ BH-CIFOL: case-intensional first order logic. II: Branching histories ⋮ On possible worlds with modal parts. A semantics for modal interaction ⋮ The truth about the future ⋮ Actions and outcomes: two aspects of agency ⋮ Distributed Modal Logic ⋮ Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ Branching space-time ⋮ Actions as events ⋮ The way of the agent ⋮ Time and modality in the logic of agency ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ Events in branching time ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ A Labeled Natural Deduction System for a Fragment of CTL * ⋮ The actual future is open ⋮ Editors' introduction to the special issue on combining logics ⋮ A Gabbay-rule free axiomatization of \(T\times W\) validity ⋮ Axioms for deliberative stit ⋮ Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations ⋮ Decidability and Expressivity of Ockhamist Propositional Dynamic Logics ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics ⋮ The tense logic for Master Argument in Prior's reconstruction ⋮ Agency and obligation ⋮ An axiomatization of PCTL* ⋮ Combinations of tense and modality for predicate logic ⋮ A finite axiomatization of the set of strongly valid Ockhamist formulas ⋮ Propositional \(\text Q\)-logic ⋮ A unifying semantics for time and events

This page was built for publication: