scientific article; zbMATH DE number 1028831

zbMath0875.03046MaRDI QIDQ4342094

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 (70)

On tense MV-algebras ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ A propositional dense time logic ⋮ Memory and perfect recall in extensive games ⋮ A qualitative fuzzy possibilistic logic ⋮ A Note on Reliability-Based Preference Dynamics ⋮ Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ The structure of lattices of subframe logics ⋮ T \(\times\) W completeness ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A note on the interpolation property in tense logic ⋮ The power of temporal proofs ⋮ Tense operators in fuzzy logic ⋮ Programming in metric temporal logic ⋮ Galois connections and tense operators on q-effect algebras ⋮ Prior’s OIC nonconservativity example revisited ⋮ Subdirectly irreducible IKt-algebras ⋮ Completeness results for two-sorted metric temporal logics ⋮ A multimodal logic for closeness ⋮ Two-sorted metric temporal logics ⋮ Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras ⋮ On Heyting algebras with negative tense operators ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ Tense logics over lattices ⋮ Tense logic based on finite orthomodular posets ⋮ A logical study of group-size based social network creation ⋮ Completeness of a functional system for surjective functions ⋮ Partial tense MV-algebras and related functions ⋮ Tense operators on non-commutative residuated lattices ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ A Topological Approach to Tense LMn×m-Algebras ⋮ A propositional linear time logic with time flow isomorphic to \(\omega^2\) ⋮ Algebraic axiomatization of tense intuitionistic logic ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ A logical characterization of well branching event structures ⋮ Transition operators assigned to physical systems ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ Dynamic logic assigned to automata ⋮ Where have all the Californian tense-logicians gone? ⋮ Even more about the lattice of tense logics ⋮ Time and modality in the logic of agency ⋮ No future ⋮ Introspection as an action in relational models ⋮ `Now' and `then' in tense logic ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ Branching time, perfect information games, and backward induction ⋮ Models and logics for true concurrency. ⋮ Axioms for real-time logics ⋮ Principal and Boolean congruences on \(IKt\)-algebras ⋮ Logical dynamics of belief change in the community ⋮ Evolution of objects and concepts ⋮ On the Complexity of the Equational Theory of Residuated Boolean Algebras ⋮ Combining temporal logic systems ⋮ Incorporating an implicit time dimension into the relational model and algebra ⋮ On logics with coimplication ⋮ Lattices of finitely alternative normal tense logics ⋮ A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics ⋮ The tense logic for Master Argument in Prior's reconstruction ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ An axiomatization of PCTL* ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Quasi-truth and incomplete information in historical sciences ⋮ Proof methods for reasoning about possibility and necessity ⋮ Operators on MV-algebras and their representations. ⋮ Axiomatisation and decidability of \(F\) and \(P\) in cyclical time ⋮ A categorical equivalence for tense Nelson algebras ⋮ Compiling dyadic first-order specifications into map algebra

This page was built for publication: