scientific article; zbMATH DE number 1395652
From MaRDI portal
Publication:4935259
zbMath0956.03001MaRDI QIDQ4935259
No author found.
Publication date: 31 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (20)
Modal Logics with Hard Diamond-Free Fragments ⋮ Informational semantics, non-deterministic matrices and feasible deduction ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Barcan Both Ways ⋮ Stable Philosophical Systems and Radical Anti-realism ⋮ Prefixed tableaus and nested sequents ⋮ An informational view of classical logic ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ A qualitative temporal extension of here-and-there logic ⋮ Unnamed Item ⋮ Quantified temporal alethic-deontic logic ⋮ A note on the complexity of S4.2 ⋮ The complexity of identifying characteristic formulae ⋮ Doxastic logic: a new approach ⋮ Linearity and regularity with negation normal form ⋮ A system for deduction-based formal verification of workflow-oriented software models ⋮ PNL to HOL: from the logic of nominal sets to the logic of higher-order functions ⋮ One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Unnamed Item
This page was built for publication:
