Результаты поиска

|thesis_title=Modal Propositions in Aristotle's Syllogistic ...ber 2017 }}</ref> Her research interests include [[Aristotelian logic]], [[modal logic]], and the [[history of logic]]. ...

...ef> which turns out to be translatable in the main system of propositional modal logic and so decidable via the ''[[TABLEAUX|tableaux]]'' method.<ref>{{cite ...ject of multimodal logics (i.e. of logics whose language has more than one modal primitive), about which he produced a monograph.<ref>{{cite book|first=Clau ...

...of theory change]] with [[Carlos Alchourrón]] and [[Peter Gärdenfors]]. In modal logic and other [[non-classical logic]]s, he showed how to establish [[comp [[Category:Australian logicians]] ...

...|first1=Tony |title=Afḍal al-Dīn al-Khūnajī (d. 1248) on the Conversion of Modal Propositions |journal=Oriens |date=2014 |volume=42 |issue=3-4 |pages=454– [[Category:Iranian logicians]] ...

...her and [[logician]] whose principal scholarly works were concerned with [[modal logic]] and [[medieval philosophy]]. ...ith Hughes and Cresswell convinced me that a most harmonious union between modal logic and programs was possible".<ref>Vaughan R. Pratt (1980), p. 258.</ref ...

[[Category:American logicians]] [[Category:Modal logicians]] ...

This terminology was often used by [[medieval philosophy#Logic|medieval logicians]] in the analyses of the temporal content of their subject terms.<ref name= ...first=Russell |title=The Medieval Heritage in Early Modern Metaphysics and Modal Theory, 1400–1700 |last2=Nielsen |first2=L. O. |publisher=Springer Scienc ...

...tica''. Because of this comment, Sheffer was something of a mystery man to logicians, especially because Sheffer, who published little in his career, never publ ...r example, they have been developed for quantificational and [[modal logic|modal]] logics as well.<ref>{{cite journal |author = Robert B. Brandom |title= A ...

Considered one of the most distinguished logicians in the world, Mints was passionate about the applications of logic to philo *Mints, G. (2012) Effective Cut-elimination for a Fragment of Modal mu-calculus. "Studia Logica" 100(1-2): 279-287. ...

The logicians Bogdan Dyankov, [[Hristo Smolenov]], Veselin Petrov and Marion Mircheva sta ...is mostly in the area of [[algebra]]ic [[recursion theory]], [[modal logic|modal]], [[temporal logic|temporal]] and other [[classical logic|non-classical lo ...

...hic]] [[modal logic]]. This is misleading at best, however, since alethic modal logics generally do not contain anything like Anderson's special '''v''' co [[Category:American logicians]] ...

.... They have been around since the advent of possible world semantics for [[modal logic]], as well as world based semantics for non-classical logics, but hav ===Non-normal modal logics=== ...

...|imperative]], [[Deontic logic|deontic]], [[Doxastic logic|belief]], and [[modal logic]] symbols. ...ean "Don't do A", not "You may omit A". To express demands, an imperative modal operator <math>M</math> (for ''may'') is defined, so that <math>M \underlin ...

...tical logic)|set of beliefs]]. In doxastic logic, belief is treated as a [[modal operator]]. ...m?id=1029818&type=pdf&coll=GUIDE&dl=GUIDE&CFID=44077077&CFTOKEN=65318791 ''Logicians who reason about themselves''], Proceedings of the 1986 conference on Theor ...

...contributor to the ''Educational Times''. His correspondents included the logicians [[William Stanley Jevons]] and [[Charles Sanders Peirce]]. He also correspo * Construction of a logical system including later [[modal logic]]s, namely the system T of [[Robert Feys]] and [[Georg Henrik von Wri ...

...in 2010. His areas of research include [[logic]] (theories of truth and [[Modal logic|modality]], [[paradox]], [[Material conditional|conditional]]s, [[non [[Category:German logicians]] ...

* [[Modal μ-calculus]] ...hes to the [[semantics of programming languages]]. He has also worked on [[modal logic]], [[topology]], and [[category theory]]. ...

| thesis_title = Modal Reality [[Category:Iranian logicians]] ...

[[Deontic logic]] takes the approach of adding a modal operator <math>O</math> to an argument with imperatives such that a truth-v ...leads to absurd conclusions when applied under the scope of a possibility modal. ...

...l-logics-theory-and-applications/kurucz/978-0-444-50826-3 Many-dimensional modal logics: theory and applications]. North-Holland, 2003. [[Category:British logicians]] ...